projects / ~bandali / configs / commit
| author | Amin Bandali <bandali@gnu.org> | |
| Tue, 25 Dec 2018 23:19:44 +0000 (18:19 -0500) | ||
| committer | Amin Bandali <bandali@gnu.org> | |
| Tue, 25 Dec 2018 23:19:44 +0000 (18:19 -0500) | ||
| commit | c4056581936c6e173c6dce3afb2c1fdac6adbb69 | |
| tree | 19bc65a6afbe95cf3afd4094d7e4c4e38030f3f3 | tree | snapshot (tar.gz zip) |
| parent | b1c000ddf5477b97116f151a5a0c79f8969215a0 | commit | diff |
| init.org | diff | blob | blame | history | |
| lib/proof-site | diff | blob | blame | history |