| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/ints/pvsbin/ (Beweissystem der NASA Version 6.0.9©) Datei vom 7.10.2014 mit Größe 75 kB |
|
Quelle remove-duplicates.sh Sprache: Shell |
|||||||||
|
#!/bin/sh -e
# # Find and remove any files which are identical in the root GAP # directory and the hpcgap subdirectory. # find . -type f -exec cmp -s ../{} {} \; -print0 | xargs -0 git rm --quiet --force ¤ Dauer der Verarbeitung: 0.0 Sekunden (vorverarbeitet) ¤*Bot Zugriff |
|
2026-03-28