components/gnump/patches/002-t-ostream.cc.patch
changeset 658 714803fd87a0
parent 219 22d9e175d379
equal deleted inserted replaced
657:5ec76cbd6116 658:714803fd87a0