diff options
Diffstat (limited to 'install.sh')
-rwxr-xr-x | install.sh | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -9,5 +9,3 @@ for f; do install -d "$dest/$dn" install -m 644 $f "$dest/$dn/$bn" done - - |
index : debian-coq | ||
Debian packaging for Coq |
summaryrefslogtreecommitdiff |
-rwxr-xr-x | install.sh | 2 |
@@ -9,5 +9,3 @@ for f; do install -d "$dest/$dn" install -m 644 $f "$dest/$dn/$bn" done - - |