diff options
| author | Siri Reiter <siri@pjones.dk> | 2021-02-22 21:58:41 +0100 |
|---|---|---|
| committer | Siri Reiter <siri@pjones.dk> | 2021-02-22 21:58:41 +0100 |
| commit | 5af07c053782fbbc1aa15e762e238d142d9d7fcd (patch) | |
| tree | cc34424c4f974fe29d99ddc249a60264afdec5e8 | |
| parent | e0e07b193a375d02a34ee4b27e6dd593a7982b91 (diff) | |
add REDPILL FEATURE account-shell-profile
| -rw-r--r-- | Projects/REDPILL/.mrconfig | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Projects/REDPILL/.mrconfig b/Projects/REDPILL/.mrconfig index 5242a68..a736102 100644 --- a/Projects/REDPILL/.mrconfig +++ b/Projects/REDPILL/.mrconfig @@ -94,3 +94,6 @@ checkout = git clone 'xayide.jones.dk:/srv/git/source.redpill.dk/system-phone.gi [FEATURE/website-ikiwiki] checkout = git clone 'xayide.jones.dk:/srv/git/source.redpill.dk/website-ikiwiki.git' 'website-ikiwiki' + +[FEATURE/account-shell-profile] +checkout = git clone 'xayide.jones.dk:/srv/git/source.redpill.dk/account-shell-profile.git' 'account-shell-profile' |