| commit | 10d6fc874c0201bd28c57525fc9465f2bcd680ec | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tromey@adacore.com> | Wed Aug 10 14:01:16 2022 -0600 |
| committer | Tom Tromey <tromey@adacore.com> | Wed Aug 31 11:03:39 2022 -0600 |
| tree | 8d5a545dfc31f0882cb1a1a267f628331ebb86a0 | |
| parent | 51cacdb50fd2ac2240172a63140e56c0adb41742 [diff] |
Remove some dead code This patch removes some dead code and an old FIXME. These no longer seem useful, even for documentation purposes.