Commit 4b6935e6b85e6b59924e9b05555e01a9ef348ab7

Authored by Brice Colombier
1 parent 30f5e77271
Exists in master

Added User_space in gitignore

Showing 1 changed file with 2 additions and 1 deletions

... ... @@ -8,4 +8,5 @@
8 8 *.toc
9 9 *.xml
10 10 *.gz
  11 +User_space/