log .hgignore @ 36:9619480d0dc0

age author description
Mon, 13 Jun 2016 01:34:43 +0000 atton Update .hgignore
Tue, 07 Jun 2016 07:24:03 +0000 atton WIP: insert verification using cbmc
Tue, 29 Mar 2016 15:59:40 +0900 Yasutaka Higa Update .hgignore
Mon, 14 Mar 2016 22:31:39 +0900 Yasutaka Higa Update .hgignore
Fri, 11 Mar 2016 18:06:04 +0900 Yasutaka Higa Add .hgignore