Dave Mc Nicoll
|
a78d20bc32
|
- Previous commit wasn't a completed feature ; now it is
|
2022-05-11 12:34:38 +00:00 |
|
Dave Mc Nicoll
|
80dee6de86
|
Merge branch 'master' of https://git.mcnd.ca/mcndave/lean
|
2022-01-31 00:06:05 +00:00 |
|
Dave Mc Nicoll
|
1f0edd88d2
|
- WIP on the Lean package
|
2022-01-31 00:05:27 +00:00 |
|
Dave Mc Nicoll
|
f72115aab4
|
- Some minor adjustements, also a WIP on the @Cronard annotation has begun
|
2021-10-19 12:38:20 +00:00 |
|
Dave Mc Nicoll
|
fd693fc8fc
|
- Worked th error layout
- Added some picto for the error views
- Bugfixes
|
2021-08-27 18:06:15 +00:00 |
|