diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2006-10-15 13:01:37 +0000 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-18 00:26:45 +0200 |
commit | 6acc420726a1a828361f77e6087835a3575f1c32 (patch) | |
tree | 01662b3fe17ee98fa7af4a3b65cf46a8a0a67e3c /doc/gpl.texi | |
parent | 39cc5b8d65adfd01a4d12f9379866fae257a3772 (diff) |
2006-10-15 Thomas Schwinge <tschwinge@gnu.org>
[task #5956 --- ``Automake'ify GNU Mach's code base'']
* Makerules.in: Move file...
* Makerules.am: ... here.
Diffstat (limited to 'doc/gpl.texi')
0 files changed, 0 insertions, 0 deletions