view doc/.build/PLACEHOLDER @ 1161:6993fef088d1

deleted extra line that was useless from the script
author Razvan Pascanu <r.pascanu@gmail.com>
date Fri, 17 Sep 2010 12:06:18 -0400
parents 9472d234db2e
children
line wrap: on
line source

sphinx doesn't like it when this repertory isn't available