Migrate moggi from atton/agda/moggi (0:530373ccbcee)
author |
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
date |
Sun, 02 Nov 2014 09:41:29 +0900 |
parents |
8a5f4ebdd34d |
children |
|
rev |
line source |
0
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1 syntax: glob
|
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
2
|
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
3 *.agdai
|
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
4 *.*~
|
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
5 *.swp
|