-
Committer:
Arnold D. Robbins
-
Date:
2016-10-16 07:25:02 UTC
-
mto:
(408.31.23)
-
mto:
This revision was merged to the branch mainline in
revision
712.
-
Revision ID:
git-v1:2d63bc3ee2a686560d29e1eb7b433deb45fd7619
Implement unary plus for real, including for pretty printing.