diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2006-11-20 23:44:23 +0000 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2006-11-20 23:44:23 +0000 |
| commit | 90ea36f7e58974e88f601f5c871044b18169584e (patch) | |
| tree | f184275157119b7e333bf23bc3d95e1bfe6be48e /devel.html | |
| parent | 4a7c5332693ae7adf3cc91ed0e770f0959a73e47 (diff) | |
Tiny update.
Diffstat (limited to 'devel.html')
0 files changed, 0 insertions, 0 deletions