diff options
| author | Bruce Momjian | 1997-11-21 18:22:04 +0000 |
|---|---|---|
| committer | Bruce Momjian | 1997-11-21 18:22:04 +0000 |
| commit | 629e27284d78fd2d77f63563c2aa298e930dd0fd (patch) | |
| tree | d226198c0460863b279b1dfe6e4fcafefe623ec6 /src/man | |
| parent | 3fa2bb316c92b2c332d18072799d585ab795f131 (diff) | |
Remove unused files.
Diffstat (limited to 'src/man')
| -rw-r--r-- | src/man/purge.l | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/man/purge.l b/src/man/purge.l deleted file mode 100644 index e69de29bb2..0000000000 --- a/src/man/purge.l +++ /dev/null |