diff options
| author | rillig <rillig> | 2007-12-01 12:49:05 +0000 |
|---|---|---|
| committer | rillig <rillig> | 2007-12-01 12:49:05 +0000 |
| commit | c5de0bba5e4e31d092c5dd433b74b7df04ad81dc (patch) | |
| tree | b4220edcd8c583c1c71ff4c80fe16fc4d85037ed /lang/camlp5/PLIST | |
| parent | e72a40618f571f37aad24ce0c6ac3171b124a3a0 (diff) | |
| download | pkgsrc-c5de0bba5e4e31d092c5dd433b74b7df04ad81dc.tar.gz | |
Cleaned up the package. The only functional change is that the man/man3
directory is created, which means that all files are properly installed.
Diffstat (limited to 'lang/camlp5/PLIST')
0 files changed, 0 insertions, 0 deletions