diff --git a/.gitignore b/.gitignore index 6fe704c1f..6df6242aa 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ +/.hpc _* [0-9]* *.aes diff --git a/doc/profs/.gitignore b/doc/profs/.gitignore new file mode 100644 index 000000000..72e8ffc0d --- /dev/null +++ b/doc/profs/.gitignore @@ -0,0 +1 @@ +*