This website requires JavaScript.
Explore
Help
Sign In
mcndave
/
ulmus
Watch
1
Star
0
Fork
0
You've already forked ulmus
Code
Issues
16
Pull Requests
Projects
1
Releases
Wiki
Activity
200
Commits
5
Branches
1
Tag
Commit Graph
3 Commits
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
Dave Mc Nicoll
e6d0279c1a
- WIP on attributes ; on testing phase
2023-01-26 13:25:59 +00:00