##// END OF EJS Templates
new tool to set useful (global) revision number to Release.py
new tool to set useful (global) revision number to Release.py
vivainio -
r451:204b7185
Show More
Name Size Modified Last Commit Author
/ doc / examples
example-demo.py Loading ...
example-embed-short.py Loading ...
example-embed.py Loading ...
example-gnuplot.py Loading ...
example-magic.py Loading ...
magic_grepl.py Loading ...