view info/.gitignore @ 110949:aa38b4aad856

* make-dist: Simplify trap handling.
author Glenn Morris <rgm@gnu.org>
date Tue, 12 Oct 2010 00:44:12 -0700
parents 214450de83bc
children ef719132ddfa
line wrap: on
line source

*

# arch-tag: 4cf702c2-f50e-49bd-a3ff-4fd962c5975a