diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-01-22 20:04:11 +0000 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-18 00:27:02 +0200 |
| commit | 6bf669a9e3a100497e3fb27e923e4c5b8c55c261 (patch) | |
| tree | aa142e8c08ce20acf83dde57974a83f95fe9a1e1 /kern/timer.h | |
| parent | f80e26ecd3005040626ed72d04fbba164b6c488f (diff) | |
2007-01-22 Thomas Schwinge <tschwinge@gnu.org>
* COPYING: Update via GNU automake 1.10.
* doc/fdl.texi: Update from <http://www.gnu.org/licenses/fdl.texi>.
* doc/gpl.texi: Update from <http://www.gnu.org/licenses/gpl.texi>.
* doc/mach.texi: Use the GFDL 1.2.
Diffstat (limited to 'kern/timer.h')
0 files changed, 0 insertions, 0 deletions