This website requires JavaScript.
Explore
Help
Sign In
mcndave
/
ulmus
Watch
1
Star
0
Fork
0
Code
Issues
15
Pull Requests
Projects
1
Releases
Wiki
Activity
253
Commits
2
Branches
8
Tags
e5a842a8120e1da2164b9d8e81141f13c64b470c
Commit Graph
3 Commits
Include renames
Author
SHA1
Message
Date
Dave Mc Nicoll
ec4d02b9d9
- Removed 'description' property and moved it into an appropriate attribute from lean-api package
2024-11-11 20:42:29 +00:00
Dave Mc Nicoll
2de3139c80
- Added description to most attributes
2024-05-27 18:09:22 +00:00
mcndave
e6d0279c1a
- WIP on attributes ; on testing phase
2023-01-26 13:25:59 +00:00