rename grif -> griffith

This commit is contained in:
Stewart Mackenzie 2020-02-09 18:13:43 +08:00
parent 6b8e2171fc
commit 46624ad101
1 changed files with 1 additions and 1 deletions

View File

@ -35,7 +35,7 @@ let
"duke2"
"duke3"
"freiburg1"
"grif"
"griffith"
"hub"
"hustmaster"
"hustsatellite"