Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| SHA3-256: | 6a1458dc7160ffa9259606659323e74acb21bc2ea59618c548505de38a553665 |
|---|---|
| Date: | 2017-11-10 18:28:02 |
| User: | sehqlr |
| Comment: | initial empty check-in |
Tags And Properties
- branch=trunk propagates to descendants
- sym-trunk propagates to descendants
Context
|
2017-11-10
| ||
| 18:32 | [05a19c2cc0] Add org file, and work from Idris book (user: sehqlr, tags: trunk) | |
| 18:28 | [6a1458dc71] initial empty check-in (user: sehqlr, tags: trunk) | |
Changes