diff options
| author | Marcus Brinkmann <marcus@gnu.org> | 2002-02-22 14:20:00 +0000 |
|---|---|---|
| committer | Marcus Brinkmann <marcus@gnu.org> | 2002-02-22 14:20:00 +0000 |
| commit | 81c253b970e7ebd961bd60a6201f99a520a991f0 (patch) | |
| tree | 972a6107f379869920eed413ffd45a394db4df3e /devel.html | |
| parent | 6adc9ca7967e6539c74e36f2ceeb599952ee6da9 (diff) | |
Update menu items.
Diffstat (limited to 'devel.html')
0 files changed, 0 insertions, 0 deletions