# HG changeset patch # User Yasutaka Higa # Date 1459234780 -32400 # Node ID fee276e2ce94453343ba426533875cd4dc4052de # Parent 38e8d5a58fe8c37b0ea632824c59a8896d2458b0 Update .hgignore diff -r 38e8d5a58fe8 -r fee276e2ce94 .hgignore --- a/.hgignore Tue Mar 22 15:39:31 2016 +0900 +++ b/.hgignore Tue Mar 29 15:59:40 2016 +0900 @@ -17,3 +17,6 @@ *.bc *.i *.s + +# executables +src/insert_verification/insert_verification