Better error detection

This commit is contained in:
Laurent Clouet
2019-08-05 14:06:46 +02:00
parent 84f5943cca
commit c014e56a08
2 changed files with 3 additions and 1 deletions

2
.idea/.gitignore generated vendored Normal file
View File

@@ -0,0 +1,2 @@
# Default ignored files
/workspace.xml