diff options
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 88130663d3..779f798940 100644 --- a/.gitignore +++ b/.gitignore @@ -1,6 +1,7 @@ bin/ state/ target/ +.legalchecks.state *.local.launch Copy of *.launch *~ |