diff options
| -rw-r--r-- | .gitignore | 1 | 
1 files changed, 1 insertions, 0 deletions
| @@ -19,3 +19,4 @@ random_seed  /build*/  CMakeLists.txt.user*  *.unc-backup* +.cmake/ | 
|  | index : kconfig.git | |
| hurd kconfig.git | biblio | 
| aboutsummaryrefslogtreecommitdiff | 
| -rw-r--r-- | .gitignore | 1 | 
| @@ -19,3 +19,4 @@ random_seed  /build*/  CMakeLists.txt.user*  *.unc-backup* +.cmake/ |