diff doc/interpreter/find-docstring-files.sh @ 16359:253e13e77d12

doc: java.texi: dropped OF package specific text
author Philip Nienhuis <prnienhuis@users.sf.net>
date Sat, 23 Mar 2013 00:09:25 +0100
parents 741dbca67d80
children c3c1fb44f9b5
line wrap: on
line diff