diff options
| author | Muhammad Moinur Rahman <bofh@FreeBSD.org> | 2024-03-11 22:48:00 +0100 |
|---|---|---|
| committer | Muhammad Moinur Rahman <bofh@FreeBSD.org> | 2024-03-11 22:48:33 +0100 |
| commit | e773e6cf13b183d5a5fa341727ea504d45b9fb87 (patch) | |
| tree | da2f5821ff1c90c2ef0bd8928b7abfaefbdd6e19 /math/coq/files | |
| parent | sysutils/ledit: Moved man to share/man (diff) | |
security/dirmngr: Moved man to share/man
Approved by: portmgr (blanket)
Diffstat (limited to 'math/coq/files')
0 files changed, 0 insertions, 0 deletions