femto[123]: add

This commit is contained in:
Robert Jördens 2020-03-08 19:21:02 +01:00
parent 37e464755f
commit 687a09d957
1 changed files with 3 additions and 0 deletions

View File

@ -35,6 +35,9 @@ let
"duke" "duke"
"duke2" "duke2"
"duke3" "duke3"
"femto1"
"femto2"
"femto3"
"freiburg1" "freiburg1"
"griffith" "griffith"
"hub" "hub"