| commit | 96d8727c28361271d10ba8d25c1dd092af5c9fcc | [log] [tgz] |
|---|---|---|
| author | Martin Aeschlimann <maeschli> | Tue Sep 11 08:28:00 2007 +0000 |
| committer | Martin Aeschlimann <maeschli> | Tue Sep 11 08:28:00 2007 +0000 |
| tree | 7d915ded0197e793fd9e87dc3930dc979367b262 | |
| parent | 276846adadc794aef140c0e358230b0c15ea699f [diff] |
202373 [preferences] Issues in Inport option of User Libraries (Windows -> Preferences)