diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-02-02 16:12:33 -0500 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-02-06 23:16:17 -0500 |
commit | 0783951b931cb2743a43cbfdc37babd76fedd2fe (patch) | |
tree | c380be5daf40a7537d9f3fcb43c40fee631d9ca0 /make-directive-index.py | |
parent | 874310b7b68c4c0d36ff07397db30a959bb7dae5 (diff) |
shared: remove now unused function
Diffstat (limited to 'make-directive-index.py')
0 files changed, 0 insertions, 0 deletions