diff -r 000000000000 -r bb715a82a8f1 .hgignore --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/.hgignore Sun Nov 26 16:27:50 2023 +0100 @@ -0,0 +1,7 @@ +build/ +nbproject/private/ +temp/ + +.kdev4 + +data/.*\.(aux|log|nav|out|snm|toc)