diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2018-05-25 09:53:01 +0100 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2020-01-12 12:28:26 +0000 |
commit | 634ca400a77620290a86ff3f9ff0ddfdf2fd296e (patch) | |
tree | 82c30d55e9deeaf2ce6f3c13427434801525e85e | |
parent | 61a9a6400d9872dbcecb5fcfcabfb1f58e576cd1 (diff) | |
download | dotfiles-634ca400a77620290a86ff3f9ff0ddfdf2fd296e.tar.gz |
lib/grading on zephyr
-rw-r--r-- | .mrconfig.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.mrconfig.in b/.mrconfig.in index fdc612e4..6cea0b34 100644 --- a/.mrconfig.in +++ b/.mrconfig.in @@ -636,3 +636,6 @@ skip = ! [ -e "$HOME/local/auth/fmailsyncpass" ] # this is slower than other repos for which sync is defined, so have # it go last order = 12 + +[lib/grading] +checkout = git clone 'athenag:grading.git' 'grading' |