diff options
| author | Siri Reiter <siri@pjones.dk> | 2022-03-10 12:18:35 +0100 |
|---|---|---|
| committer | Siri Reiter <siri@pjones.dk> | 2022-03-10 12:18:35 +0100 |
| commit | 91582f02738a44fd3e301378733bad6496198a61 (patch) | |
| tree | 29591082c514f0c819d3522154c962297da3f07c | |
| parent | 5996ff9322c86b402841876029121e65ad96b4c0 (diff) | |
add repo media-master-android
| -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 5d5a77f..536332f 100644 --- a/Projects/REDPILL/.mrconfig +++ b/Projects/REDPILL/.mrconfig @@ -103,3 +103,6 @@ checkout = git clone 'xayide.jones.dk:/srv/git/source.redpill.dk/website-edit.gi [FEATURE/source-hosting] checkout = git clone 'xayide.jones.dk:/srv/git/source.redpill.dk/source-hosting.git' 'source-hosting' + +[FEATURE/media-master-android] +checkout = git clone 'xayide.jones.dk:/srv/git/source.redpill.dk/media-master-android.git' 'media-master-android' |