source: @ 11917

Name Size Rev Age Author Last Change
branches 11853   11 years gz Fix declarations generated by loop-for-on in the improper list case
release 11858   11 years rme Port 11857 (misc_ref/misc_set for basic_stream and catch_frame) to 1.3.
tags 10618   11 years gb tag 1.2 release
trunk 11917   11 years rme Add preference option "Use option key as meta" to the "General" pane …
Note: See TracBrowser for help on using the repository browser.