diff options
author | Paul Scott <paul.scott@kau.se> | 2018-08-29 11:42:25 +0000 |
---|---|---|
committer | Paul Scott <paul.scott@kau.se> | 2018-08-29 11:42:25 +0000 |
commit | 48c64997a3c8e5cf98ddaebddd26a9cf601e5071 (patch) | |
tree | d81497753c200f2bb45cf40b0e47288545e4a50f /externals.xrd | |
parent | b554dcc5761249452e6c45b06bdfcdabd25a7194 (diff) |
Adjustments for KAUs old Play service
Diffstat (limited to 'externals.xrd')
0 files changed, 0 insertions, 0 deletions