Trac is being migrated to new services! Issues can be found in our new
YouTrack instance and WIKI pages can be found on our
website.
- Timestamp:
-
Mar 4, 2014, 3:59:14 AM (10 years ago)
- Author:
-
John Bailey
- Comment:
-
Small typo fix.
Legend:
- Unmodified
- Added
- Removed
- Modified
-
|
v13
|
v14
|
|
| 106 | 106 | } |
| 107 | 107 | |
| 108 | | /* But this if often ok, because the alternative might be unwieldy: */ |
| | 108 | /* But this is often ok, because the alternative might be unwieldy: */ |
| 109 | 109 | while (has_next = get_next()) { |
| 110 | 110 | ... |
All information, including names and email addresses, entered onto this website or sent to mailing lists affiliated with this website will be public. Do not post confidential information, especially passwords!
