ptb4, siegen: add

pull/30/head
Robert Jördens 2019-08-05 18:59:51 +02:00
parent a14fbf0d8f
commit 59c58abd89
1 changed files with 2 additions and 0 deletions

View File

@ -44,7 +44,9 @@ let
"ptb"
"ptb2"
"ptb3"
"ptb4"
"ptbin"
"siegen"
"su"
"sysu"
"tsinghua"