projects / cubicaltt.git / commit
| author | coquand <coquand@chalmers.se> | |
| Mon, 4 Jan 2016 16:58:17 +0000 (17:58 +0100) | ||
| committer | Anders Mörtberg <andersmortberg@gmail.com> | |
| Mon, 4 Jan 2016 19:49:44 +0000 (20:49 +0100) | ||
| commit | 1bdd2243a433acef164707a97c3a3fe29496a07e | |
| tree | b5a27094585c90672ae0ad568340a9a5f7f131dd | tree | snapshot |
| parent | e881315eac6d0f0deb101df246eccafb6c6d8e3c | commit | diff |
| examples/ordinal.ctt | [new file with mode: 0644] | blob |