diff man/mini.texi @ 75143:96ef09c54974

(vhdl-save-caches): Fix typo in error message.
author Juanma Barranquero <lekktu@gmail.com>
date Mon, 08 Jan 2007 23:05:41 +0000
parents bf3a186a50a6
children 3d45362f1d38 8a8e69664178
line wrap: on
line diff