Commit a1dd16b5796d190f0fdb8d36ae10ad64b1ea2c79

Tom Tromey 1995-11-23T01:21:40

Rewrite targets like "all-local" to "all_local"