diff options
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore deleted file mode 100644 index 796b96d1..00000000 --- a/.gitignore +++ /dev/null @@ -1 +0,0 @@ -/build |
 |
index : extra-cmake-modules.git | |
| hurd extra-cmake-modules.git | biblio |
| aboutsummaryrefslogtreecommitdiff |