Mise à jour de '.gitignore'

This commit is contained in:
Justine Yannis 2022-10-22 10:52:39 +02:00
parent 9006c036a1
commit 782913a0ea

2
.gitignore vendored
View File

@ -24,3 +24,5 @@
hs_err_pid*
replay_pid*
# ---> Javadoc
doc/