summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authortv <tv@shackspace.de>2015-10-15 02:48:11 +0200
committertv <tv@shackspace.de>2015-10-15 02:48:11 +0200
commit338df3310352163d3cce850e6ff461c2cdf58eb5 (patch)
treeed4888e5b0b948a7b0600cc00159a1d4ca822d21 /.gitignore
parent7eb564d0eff22226a2e9955a3c239d1a770bde93 (diff)
make eval: provide stockholm via -I
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions