diff options
author | Siri Reiter <siri@jones.dk> | 2017-02-05 21:01:55 +0100 |
---|---|---|
committer | Siri Reiter <siri@jones.dk> | 2017-02-05 21:04:16 +0100 |
commit | 74469d030df5ef0cab6f00bec792e6300e080151 (patch) | |
tree | ac2fb15b7d30a9e270f62f50ee6de9f9b95645f9 /shared | |
parent | e9db1dd938911007d3f11f2793510c4f14401f5e (diff) | |
parent | 8718431b6266fe18fabf6c290a397b1e23b45562 (diff) |
Merge remote-tracking branch 'iki/plaintitle-da'
Diffstat (limited to 'shared')
m--------- | shared | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/shared b/shared -Subproject 0dc5024b0c18e330829e407f0f3a8330eafd6cb +Subproject 15cba4b6b8888557b868db8008f8137e6f65093 |