diff options
| author | ng0 <ng0@n0.is> | 2019-10-27 12:53:58 +0000 |
|---|---|---|
| committer | ng0 <ng0@n0.is> | 2019-10-27 12:53:58 +0000 |
| commit | d22ad634e069bacf7b35c907295fd224c3d6401a (patch) | |
| tree | 7488d4b2881bcf6fd8f42486c71f9f72172bf2bb /.gitignore | |
| parent | 855fbf5b9db9ff680c15e6fd21382c4d7afffc84 (diff) | |
add dist_bootstrap, so far compiles texi2mdoc and gives advice on
adding a switch + $PATH.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 955c97d36..0f3c0acdf 100644 --- a/.gitignore +++ b/.gitignore @@ -24,6 +24,7 @@ config.log config.status config.sub configure +contrib/vendored/ depcomp gnunet_config.h gnunet_config.h.in |