Commit graph

3 commits

Author SHA1 Message Date
crc
660e52bdcb rename words in sys: to script: (old names still work in this release, but are deprecated)
FossilOrigin-Name: 1a43743f43076eb087ee4dd7fbfa96b8dfda2aa4ddcff41e6a5a9634ba6e239c
2020-09-14 19:55:02 +00:00
crc
81363b6f49 retro-muri export: better commentary
FossilOrigin-Name: c236b6f930d63b24ce09f8bf62acbba79c697f18316c856803429ff94f52061f
2019-09-18 20:54:36 +00:00
crc
18b3135a8a new example
FossilOrigin-Name: b02a11812febcf3adf7b4bb31037d60098c97271914a16885de5f93996bb77c7
2019-09-18 17:21:21 +00:00