diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-03-09 09:55:03 -0500 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-03-09 09:56:19 -0500 |
| commit | 082cca735b831228a465e9c8e3af65d239b286af (patch) | |
| tree | b7a1515f9527751497e68493e67d13ae77ba3550 /make-man-rules.py | |
| parent | fa28d83678ffe84efcabdb45bac6be39d4d91d98 (diff) | |
python/docs: use the same links on top as in man pages
I forgot to commit the layout file, because it was gitignored.
Fixed now.
Diffstat (limited to 'make-man-rules.py')
0 files changed, 0 insertions, 0 deletions