diff make-dist @ 98564:f79ec7c34dc5

Sven Joachim <svenjoac at gmx.de> For clarity, explicitly require cl.
author Glenn Morris <rgm@gnu.org>
date Wed, 08 Oct 2008 07:42:43 +0000
parents 9419b837e9c6
children 38e7317321ea
line wrap: on
line diff