##// END OF EJS Templates
fix tooltip on token with number...
fix tooltip on token with number fixes #1696 allow number in matched token for tooltip, except first position also prevent matching token starting wit a dot

File last commit:

r1261:a818e11a merge
r6707:a32ceb29
Show More
update_version.sh
3 lines | 84 B | application/x-sh | BashLexer
#!/bin/sh
ver=`ipython -V`
sed "s/__version__/${ver}/" manual_base.lyx > manual.lyx