diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2021-10-28 15:09:36 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2021-10-28 15:09:36 +0200 |
| commit | 9ade8e058c089bb65a03d2a785acfcec5788dcb5 (patch) | |
| tree | 1664df1fe47b28f9d13a7997c32660acc02b17dc | |
| parent | 93a463a6b1919f750ca65752818de672ad4d101b (diff) | |
| -rw-r--r-- | SETUP.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -6,8 +6,8 @@ NB! This documentation includes the following special strings used e.g. when generating a documentation website: -redpill_root: /usr/local/share/redpill feature_root: /usr/local/share/redpill/source-hosting +redpill_root: /usr/local/share/redpill gitshellhost: git.example.org |