mirror/rtic
1
0
Fork 0
mirror of https://github.com/rtic-rs/rtic.git synced 2025-02-25 09:48:39 +01:00
Code Issues Projects Releases Packages Wiki Activity
60 commits 48 branches 47 tags 279 MiB
Commit graph

2 commits

Author SHA1 Message Date
Jorge Aparicio
4e6818eb2c remove claim, add Priority.as_ceiling 2017-04-19 17:21:13 -05:00
Jorge Aparicio
595404c5ff compile time verified ceilings 2017-04-09 22:42:17 -05:00