summaryrefslogtreecommitdiffstats
path: root/krebs/5pkgs
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 /krebs/5pkgs
parent7eb564d0eff22226a2e9955a3c239d1a770bde93 (diff)
make eval: provide stockholm via -I
Diffstat (limited to 'krebs/5pkgs')
0 files changed, 0 insertions, 0 deletions