- fixed a small oops: iprint() didn't reset the number output format to decimal
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Wed, 5 Apr 2000 21:01:11 +0000 (21:01 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Wed, 5 Apr 2000 21:01:11 +0000 (21:01 +0000)
commitb7e47bd8c2593da1ef990f8c09c4d5ee321955f5
treea11f9857d35351d422b8e0a45ae35055af557e4f
parent7595b93587d65ca35c860e064770ef3088d11148
- fixed a small oops: iprint() didn't reset the number output format to decimal
ginsh/ginsh_parser.yy