projects / ~bandali / configs / commit
| author | Amin Bandali <amin@aminb.org> | |
| Fri, 6 Jul 2018 16:11:16 +0000 (12:11 -0400) | ||
| committer | Amin Bandali <amin@aminb.org> | |
| Fri, 6 Jul 2018 16:11:16 +0000 (12:11 -0400) | ||
| commit | 695170a4c7ba5c076b3f1c58b66836f20d242fa0 | |
| tree | 1c2b88e15fae65e2e5d269cb132458d928b37515 | tree | snapshot (tar.gz zip) |
| parent | fad62af517873a5a40dc4487a505b88383b794f1 | commit | diff |
| .gitmodules | diff | blob | blame | history | |
| init.org | diff | blob | blame | history | |
| lib/proof-site | [new submodule] | blob |