Merge branch 'master' into dev

michaelb · Apr 23, 2021 · 825f3a8 · 825f3a8
2 parents 9beda2f + b35fcb4
commit 825f3a8
Show file tree

Hide file tree

Showing 3 changed files with 416 additions and 3 deletions.
diff --git a/.gitignore b/.gitignore
@@ -2,5 +2,4 @@ src/interpreters/mod.rs
 test/
 download_dir/
 target/
-Cargo.lock
 ressources/infofile.txt