diff man/maintaining.texi @ 79129:2d9343a3760e

Display message when tutorial position is not saved
author Vinicius Jose Latorre <viniciusjl@ig.com.br>
date Wed, 17 Oct 2007 21:10:34 +0000
parents 052499f7ba7d
children ddf4e8b96231
line wrap: on
line diff