comparison update-subdirs @ 108216:2fb32340c261

* make-dist: There are no more src/m/*.inp files.
author Glenn Morris <rgm@gnu.org>
date Sun, 02 May 2010 18:53:58 -0700
parents 1d1d5d9bd884
children 376148b31b5e
comparison
equal deleted inserted replaced
108215:8264830363ca 108216:2fb32340c261