Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revisionBoth sides next revision | ||
user_guide:extend:clients [2019/01/29 21:46] – external edit 127.0.0.1 | user_guide:extend:clients [2019/03/07 10:30] – panizzut | ||
---|---|---|---|
Line 409: | Line 409: | ||
If you are debugging a client compiled in the SVN working copy of the polymake source tree, which is probably not contained in your PATH, then you should omit the option '' | If you are debugging a client compiled in the SVN working copy of the polymake source tree, which is probably not contained in your PATH, then you should omit the option '' | ||
- | //Remark:// Up to polymake version 2.12, the environment variable was called '' | ||
- | Up to polymake version 2.14, the environment variable was called '' | ||
As soon as you see the '' | As soon as you see the '' |