minor: another entry in the ignore file

10 years ago · 13a083198e
1 changed files with 1 additions and 0 deletions
--- a/.hgignore
+++ b/.hgignore
@ -9,3 +9,4 @@
 ^gmsh$
 ^dest$
 ^plots$
+^build$