diff man/ediff.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 c056e53b30f8
children 02b9a9aa5b0c e6fdae9180d4
line wrap: on
line diff