search

SRI-CSL / PVS

The People's Verification System
http://pvs.csl.sri.com
GNU General Public License v2.0
135 stars 32 forks source link

Saving Unicode files has problems #30

Closed happyhuman closed 10 years ago

happyhuman commented 10 years ago

The file is saved as an empty file

happyhuman commented 10 years ago

Fixed