summaryrefslogtreecommitdiff
path: root/make-directive-index.py
diff options
context:
space:
mode:
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2013-02-02 16:12:33 -0500
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2013-02-06 23:16:17 -0500
commit0783951b931cb2743a43cbfdc37babd76fedd2fe (patch)
treec380be5daf40a7537d9f3fcb43c40fee631d9ca0 /make-directive-index.py
parent874310b7b68c4c0d36ff07397db30a959bb7dae5 (diff)
shared: remove now unused function
Diffstat (limited to 'make-directive-index.py')
0 files changed, 0 insertions, 0 deletions