svgui/pyjs/lib/_pyjs.js
changeset 2707 c26195654ae9
parent 728 e0424e96e3fd
equal deleted inserted replaced
2706:65f35ac97cd6 2707:c26195654ae9