diff man/mini.texi @ 61517:838834394036

Delete accidentally added comment.
author Luc Teirlinck <teirllm@auburn.edu>
date Wed, 13 Apr 2005 00:23:52 +0000
parents e6d77fce1453
children 80f8fd5fdea6 13796b0653c7
line wrap: on
line diff