diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2006-02-20 18:45:39 +0000 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-18 00:26:32 +0200 |
| commit | ecc4d9195afd20758ce10d8fd7bce7b7e28e0a26 (patch) | |
| tree | 52527b8ff6bf84462294d7b6e914d882b58a360f /vm | |
| parent | b4b45fafeb935ceb39b2dcd91e61c5c86942078a (diff) | |
2006-02-20 Thomas Schwinge <tschwinge@gnu.org>
Remove unused and unsupported code. Consult the file
`DEVELOPMENT' for details. Partly based on suggestions by
Gianluca Guida <glguida@gmail.com>.
* DEVELOPMENT: New file.
Diffstat (limited to 'vm')
0 files changed, 0 insertions, 0 deletions