remove docs/reference.pdf, already included in manual.pdf
authorLuca Capello <luca@pca.it>
Fri, 27 Jan 2006 13:25:11 +0000 (13:25 +0000)
committerLuca Capello <luca@pca.it>
Fri, 27 Jan 2006 13:25:11 +0000 (13:25 +0000)
commit7397f08fa06fddffa0d55ce1de7c504f4415c670
treebedbe14fa56686862632f39afa0f1eba7bbd716f
parenta89b3fb8b813c0cb20e9594654125eb54069c000
remove docs/reference.pdf, already included in manual.pdf
docs/reference.pdf [deleted file]