Opened 15 years ago
Last modified 11 years ago
#260 new
Path names with spaces are not decoded property on search path — at Initial Version
| Reported by: | David Aspinall | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | minor | Milestone: | |
| Component: | 4:prover-isabelle | Keywords: | |
| Cc: |
Description
Path names with spaces are not decoded property on search path. See multiple file scripting example in directory called "Open%20Bugs".
Note: See
TracTickets for help on using
tickets.
