* Bug 12837 fixed: strcmpi() actual removal
[scilab.git] / scilab / modules / helptools / etc / SciDocConf.xml.in
2011-02-27 Sylvestre Ledru Manage the documentation version through the configure 04/3304/2