urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-24 11:24:21 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,469 Commits 768 Branches 10 Tags 215 MiB
a1ada34685
Commit Graph

3 Commits

Author SHA1 Message Date
Raymond Pasco
4fcf6faf68 Factor save 2017-03-03 09:01:04 -05:00
C. Guy Yarvin
3947088354 Change checkpointing from 15 to 120 seconds. 2016-07-01 10:10:41 -07:00
Philip C Monk
9edda1bb73 descriptive names for c files 
fixes #294
 2015-06-23 21:29:11 -04:00