]> git.lyx.org Git - lyx.git/history - development/tools/updatelayouts.sh
Add stats updating script to development/tools/.
[lyx.git] / development / tools / updatelayouts.sh
2009-12-06 Richard HeckSimple bash script to update all layouts to current...