tree 8d4daa502dad2daa4a0053179e573438fe99d93a
parent 6aa3935fd435da73961b57c5b551b51f1f01e94e
author Lasse R.H. Nielsen <lrn@google.com> 1410342721 +0200
committer Lasse R.H. Nielsen <lrn@google.com> 1410342721 +0200

Avoid conflicting names for minus, sub and tilde, which occur in
both libraries with different meanings.