Don't force platal core to be in core/ directory
[platal.git] / doc / .gitignore
CommitLineData
38cbb20a 1/html