diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2016-01-31 13:28:53 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-01-31 13:28:53 +0200 |
| commit | 891b8036979bd7fb7d36a091e5f40c2f6f62f553 (patch) | |
| tree | b8515248765ecce2a929a97a8b8b152fe06ba5f0 /build2/.gitignore | |
| parent | e750e59bb0ca7b96d62140fa835fb1ff587eb83b (diff) | |
Add generated cli files back to repository
Without them there is no way to bootstrap.
Diffstat (limited to 'build2/.gitignore')
| -rw-r--r-- | build2/.gitignore | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/build2/.gitignore b/build2/.gitignore index 35d9f3d..833a997 100644 --- a/build2/.gitignore +++ b/build2/.gitignore @@ -1,4 +1,4 @@ b -b-* -*-options -*-options.?xx +b-boot +#*-options +#*-options.?xx |