diff options
| author | David Spencer <idlemoor@slackbuilds.org> | 2016-01-06 23:40:59 +0000 |
|---|---|---|
| committer | David Spencer <idlemoor@slackbuilds.org> | 2016-01-06 23:40:59 +0000 |
| commit | e9fde4660d746919adb36258c1ad494d2d536704 (patch) | |
| tree | aae6e10d1f0469adf41e5d9668241bbb1c7ac307 /academic/coq | |
| parent | 6d4b476fd23d71a8d9dc4dfa82bc641d96fa1202 (diff) | |
academic/cld2: Fix file ownership.
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
Diffstat (limited to 'academic/coq')
0 files changed, 0 insertions, 0 deletions