diff doc/interpreter/package.txi @ 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 3a93af21d206
children 7eff3032d144
line wrap: on
line diff