]> git.lizzy.rs Git - Anime-Girls-Holding-Programming-Books.git/history - HoTT
projects / Anime-Girls-Holding-Programming-Books.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
made lain go images file name more descriptive and cleaned up Tsukukakushi image
[Anime-Girls-Holding-Programming-Books.git] / HoTT /
2018-09-27 nullMerge pull request #34 from namigyj/renaming tree | commitdiff
2018-09-21 ngyjAutistically rename a bunch and delete dd87aaeda934fdee... tree | commitdiff
2018-06-21 Meyer HallotMerge pull request #32 from luizsan/master tree | commitdiff
2018-06-21 Meyer HallotMerge pull request #31 from ritiek/rin-linux-books tree | commitdiff
2018-06-21 Meyer HallotMerge pull request #29 from marsam/master tree | commitdiff
2018-05-13 Mario RodasAdd Nagato reading Homotopy type theory book tree | commitdiff
Anime Girls Holding Programming Books