##// END OF EJS Templates
Merge pull request #2829 from minrk/nodate...
Merge pull request #2829 from minrk/nodate avoid comparison error in dictdb hub history in rare situations, display data can arrive at the Hub before the execution request, in which case `submitted` is undefined. should address #2821, but I need to see Jenkins succeed, since that is the only place this comes up.

File last commit:

r1261:a818e11a merge
r9235:939887fa merge
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