summaryrefslogtreecommitdiff
path: root/src/core/resource
diff options
context:
space:
mode:
authorAndreas Stöckel <astoecke@techfak.uni-bielefeld.de>2015-02-17 18:30:12 +0100
committerAndreas Stöckel <astoecke@techfak.uni-bielefeld.de>2015-02-17 18:30:12 +0100
commit2da3efbf053e12861c9184c3f8bd014fae245773 (patch)
tree18dd5dcc5a39a7c14c129900d127fdea451da075 /src/core/resource
parente3e4a43e677380b2c99f946ba74edd8c29b497d6 (diff)
Fixed creating a document where no document should be created (I actually thought of this bug before it occurred!)
Diffstat (limited to 'src/core/resource')
0 files changed, 0 insertions, 0 deletions