mirror of
https://github.com/9fans/plan9port.git
synced 2025-01-12 11:10:07 +00:00
man5, man6: delete empty dirs
Change-Id: Iff3843740d98f5fb79499d3b6024333361dfe755 Reviewed-on: https://plan9port-review.googlesource.com/2960 Reviewed-by: Russ Cox <rsc@swtch.com>
This commit is contained in:
parent
35abfa1b39
commit
b7488c5d32
4 changed files with 0 additions and 4 deletions
|
@ -1 +0,0 @@
|
|||
*.html
|
|
@ -1 +0,0 @@
|
|||
[a-z0-9:]* [a-z0-9:]*.[0-9]*
|
|
@ -1 +0,0 @@
|
|||
*.html
|
|
@ -1 +0,0 @@
|
|||
[a-z0-9:]* [a-z0-9:]*.[0-9]*
|
Loading…
Reference in a new issue