Commit History

Autor SHA1 Mensaxe Data
  ice1000 09c5c3891c [ #4244 ] Separated Emacs & Agda installation %!s(int64=5) %!d(string=hai) anos