manual: omit ocdoc/* during doc generation
authorDaniel Molkentin <daniel@molkentin.de>
Tue, 27 Jan 2015 22:29:49 +0000 (23:29 +0100)
committerDaniel Molkentin <daniel@molkentin.de>
Tue, 27 Jan 2015 22:35:45 +0000 (23:35 +0100)

No differences found