diff make-dist @ 45946:c5474d1cf831

Added discussion on tag names.
author Francesco Potortì <pot@gnu.org>
date Fri, 21 Jun 2002 12:05:52 +0000
parents f526d32944b1
children 23a1cea22d13
line wrap: on
line diff