diff options
author | Antoine Beaupré <anarcat@koumbit.org> | 2015-11-13 10:42:16 -0500 |
---|---|---|
committer | Antoine Beaupré <anarcat@koumbit.org> | 2015-11-13 10:42:52 -0500 |
commit | 8e36075fe95edcfd824ab61901a3fd279bfe21c0 (patch) | |
tree | 396c8e35bad630b539d19237a66fafe767323285 /.gitignore | |
parent | f13dd6e579299c3a7997c3722fe8e2450ccea448 (diff) |
commit usage files directly into git
the generation of those files was causing us way too much pain to
justify automatically generating them all the time.
those will have to be re-generated with `build_api` or `build_usage`
as appropriate, for example when function signatures or commandline
flags change.
see #384
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore index 73d508fe8..2d77951bd 100644 --- a/.gitignore +++ b/.gitignore @@ -15,8 +15,6 @@ platform_linux.c *.pyc *.pyo *.so -docs/usage/*.inc -docs/api.rst .idea/ .cache/ borg/_version.py |