Mercurial > hg > Members > atton > agda > systemF
changeset 1:eb55f604b970
Ignore agdai file and ~ file
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 20 Mar 2014 14:50:35 +0900 |
parents | b7c49383e386 |
children | bbf889402b64 |
files | .hgignore |
diffstat | 1 files changed, 4 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff