diff --git a/.gitignore b/.gitignore index 3be7554..cc5051d 100644 --- a/.gitignore +++ b/.gitignore @@ -18,3 +18,5 @@ __pycache__/ target/ .trial-last results/ +# editor lock files +.~lock.*#