aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMarcello Stanisci <marcello.stanisci@inria.fr>2016-11-10 18:10:42 +0100
committerMarcello Stanisci <marcello.stanisci@inria.fr>2016-11-10 18:10:42 +0100
commit2900ab44fae03cd538cd1c40b2d23eafc067823a (patch)
tree33be8f614ada9d299dbb67b3f75c47b74c4bbc30 /.gitignore
parent5b232b727e13e650d1fc5363b640666aaa0cdeaf (diff)
doc: stub for config script
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 2cd3e3de..c2fa814d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -33,3 +33,4 @@ taler_merchant_config.h.in
doc/*
!doc/*.texi
!doc/*.am
+!doc/*.sh