aboutsummaryrefslogtreecommitdiff
path: root/etc/git
ModeNameSize
-rwxr-xr-xpre-push1774logplainabout
generated by cgit
01 12:12:18 +0200'>2018-10-01gnu: agda: Update to 2.5.4.1....Timothy Sample 2018-10-01gnu: ghc-mtl: Remove built-in Haskell package....Timothy Sample 2018-07-29gnu: Add emacs-agda2-mode...Alex ter Weele 2018-07-29gnu: agda: Compile .agda files....Alex ter Weele 2018-02-26gnu: Add agda....Alex ter Weele