nint22 / corebasic2

Automatically exported from code.google.com/p/corebasic
0 stars 0 forks source link

iOS: Add file extensions to user-provided names #25

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
when a user starts a new file, make sure to end it correctly

Original issue reported on code.google.com by nin...@gmail.com on 8 Feb 2012 at 9:44

GoogleCodeExporter commented 9 years ago
Done

Original comment by nin...@gmail.com on 10 Feb 2012 at 11:15