diff options
| author | Michael Smith <mikesmiffy128@gmail.com> | 2023-07-29 14:26:05 +0100 |
|---|---|---|
| committer | Michael Smith <mikesmiffy128@gmail.com> | 2023-08-02 01:10:12 +0100 |
| commit | d337b09936ecd90bad07b28b48b7103395d97ce5 (patch) | |
| tree | 12af039f74f5fdabef7971b6df7159934fdc11df /src/build | |
| parent | a64e4316a6d5b603df25a105468a94c951eaf27d (diff) | |
Add the auto-update script from the website
Basically for documentation purposes and to ensure it exists outside of
my own server; this was a VERY write-only script and is already in
fairly wide use so I don't expect to edit it very much.
Diffstat (limited to 'src/build')
0 files changed, 0 insertions, 0 deletions