2023-10-20 00:10:39 +02:00
|
|
|
> **Warning**
|
|
|
|
|
> Do **NOT** run these tools in this directory.
|
|
|
|
|
> Run them from the *main* directory.
|
|
|
|
|
|
2023-10-20 00:48:58 +02:00
|
|
|
Tools used for the IXVD infra
|
|
|
|
|
|
|
|
|
|
Prefix legend:
|
|
|
|
|
- `server-*`, these tools will modify only the current server.
|
|
|
|
|
- `repo/*`, these tools will modify the repo.
|
|
|
|
|
- `setup/*`, setup scripts
|
