diff options
author | Moritz Lenz <moritz@faui2k3.org> | 2015-02-21 18:09:14 +0100 |
---|---|---|
committer | Moritz Lenz <moritz@faui2k3.org> | 2015-02-21 18:09:14 +0100 |
commit | 427ef56fcbb56e71769ccec4338bf9b0f4b7fd39 (patch) | |
tree | 6b89d46af593c994585770c147fbf677cc87f99e /modules/doc | |
parent | 38197bc8d5464fd7984226b50b41033b566c1951 (diff) |
downgrade "doc" to before use_ok2015.02
Diffstat (limited to 'modules/doc')
m--------- | modules/doc | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/modules/doc b/modules/doc -Subproject 7557533e367cfa324eed184829985d1a4e6d1b8 +Subproject 1b44b51038114957a0e0fd0b8cb7f5fea68a960 |