add npl1, npl2

pull/30/head
Robert Jördens 2019-08-02 11:24:35 +02:00
parent f92d6b96f4
commit a14fbf0d8f
1 changed files with 2 additions and 0 deletions

View File

@ -39,6 +39,8 @@ let
"mpik" "mpik"
"nrc" "nrc"
"nudt" "nudt"
"npl1"
"npl2"
"ptb" "ptb"
"ptb2" "ptb2"
"ptb3" "ptb3"