summaryrefslogtreecommitdiff
path: root/po
diff options
context:
space:
mode:
authorJulius Bünger <buenger@mytum.de>2019-02-28 09:24:17 +0100
committerJulius Bünger <buenger@mytum.de>2019-02-28 09:25:04 +0100
commit799e269d52cb5acdfa2828d2c3f010d07ccca0bb (patch)
tree20a7431593b1c06392b8c6cf36f6a21a43402ef0 /po
parentbcb5e8d91393d99ea26128f8d5e0261fe6adccc4 (diff)
RPS: Disable too happy writing to disk
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions