Parcourir la source

moved docs into misc

Vladislav Gritsenko il y a 6 ans
Parent
commit
f670a5aeb3

+ 0 - 0
docs/FAQ.dox → misc/docs/FAQ.dox


+ 0 - 0
docs/design.dox → misc/docs/design.dox


+ 0 - 0
docs/install.dox → misc/docs/install.dox


+ 0 - 0
docs/license.dox → misc/docs/license.dox


+ 0 - 0
docs/mainpage.dox → misc/docs/mainpage.dox


+ 0 - 0
docs/tutorial.dox → misc/docs/tutorial.dox