- changed status to resolved
Naamgeving Runidp vs IDP
Issue #241
resolved
Rundip moet hernoemd worden naar simpelweg IDP
Comments (3)
-
-
Fixes
#241: idp -> kbs, runidp -> idp→ <<cset fd1e282b4507>>
-
reporter Merged in runidp (pull request #55: Fixes
#241: idp -> kbs, runidp -> idp)→ <<cset d51e4a63ba2b>>
- Log in to comment
Fixes
#241: idp -> kbs, runidp -> idp→ <<cset 705f3631d86b>>