diff options
| -rw-r--r-- | .gitignore | 2 | 
1 files changed, 2 insertions, 0 deletions
@@ -17,6 +17,8 @@ Makefile  avail  random_seed  /build*/ +/cmake-build*/ +.idea  CMakeLists.txt.user*  *.unc-backup*  __pycache__  | 
![]()  | 
index : extra-cmake-modules.git | |
| hurd extra-cmake-modules.git | biblio | 
| aboutsummaryrefslogtreecommitdiff | 
| -rw-r--r-- | .gitignore | 2 | 
@@ -17,6 +17,8 @@ Makefile  avail  random_seed  /build*/ +/cmake-build*/ +.idea  CMakeLists.txt.user*  *.unc-backup*  __pycache__  |