chiark / gitweb /
lawyerese: add header to make-directive-index
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 13 Nov 2012 17:39:18 +0000 (18:39 +0100)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Wed, 14 Nov 2012 21:49:29 +0000 (22:49 +0100)
commite7098b699a025ea852a5e21b0e9122116f3f26bd
tree9518b8f9e621c845e723ef27879cab1be43d2896
parente673ad0415d89c322e5b1a121e411f1b1d8075c0
lawyerese: add header to make-directive-index
make-directive-index.py [changed mode: 0644->0755]