package info
(click to toggle)
Folder: release-scripts
| .. (parent) | ||||
| d | rwxr-xr-x | 4,096 | scripts.d | |
| - | rw-r--r-- | 344 | doit.sh | |
| - | rw-r--r-- | 127 | dummy-release.json | |
| - | rw-r--r-- | 157 | extract-json.py | |
| - | rw-r--r-- | 172 | undoit.sh | |
| - | rw-r--r-- | 431 | update-readme.awk | |
| - | rw-r--r-- | 437 | update-site-header.awk |
