package info
(click to toggle)
Folder: scripts
| .. (parent) | ||||
| - | rwxr-xr-x | 538 | add-local-opam-packages.sh | |
| - | rwxr-xr-x | 2,679 | build-apk.sh | |
| - | rwxr-xr-x | 2,666 | build-deb.sh | |
| - | rwxr-xr-x | 2,780 | build-details.sh | |
| - | rwxr-xr-x | 227 | build-doc.sh | |
| - | rwxr-xr-x | 1,657 | build-posix.sh | |
| - | rwxr-xr-x | 446 | build-website.sh | |
| - | rwxr-xr-x | 2,223 | build-win32.sh | |
| - | rwxr-xr-x | 499 | checkout-deps.sh | |
| - | rwxr-xr-x | 401 | export-metrics.sh | |
| - | rwxr-xr-x | 3,084 | push-docker.sh | |
| - | rwxr-xr-x | 753 | stats-posix.sh | |
| - | rwxr-xr-x | 266 | test-posix.sh |
