Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revisionBoth sides next revision | ||
user_guide:extend:clients [2019/01/25 16:02] – ↷ Links adapted because of a move operation oroehrig | 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 '' |