Mercurial > hg > Document > Growi

diff Agda.md @ 0:e12992dca4a0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
init from Growi
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Wed, 16 Dec 2020 14:05:01 +0900
parents
children b6c284fd5ae4
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Agda.md	Wed Dec 16 14:05:01 2020 +0900
@@ -0,0 +1,1 @@
+# Agda