projects / ~bandali / configs / commit
| author | Amin Bandali <bandali@gnu.org> | |
| Sat, 22 Dec 2018 15:41:51 +0000 (10:41 -0500) | ||
| committer | Amin Bandali <bandali@gnu.org> | |
| Sat, 22 Dec 2018 15:41:51 +0000 (10:41 -0500) | ||
| commit | fda74f52b706447243a113efa4c768c80ead09de | |
| tree | ee77fff01c60c193c63fad53822baa3997948768 | tree | snapshot (tar.gz zip) |
| parent | 647af2f6c1adeaeacb4d86cc3376b985ea404f61 | commit | diff |
| .gitmodules | diff | blob | blame | history | |
| lib/helm | diff | blob | blame | history | |
| lib/org | diff | blob | blame | history | |
| lib/proof-site | diff | blob | blame | history |