Miklos Vajna 4bfec0e839 nlpsolver: remove unneeded exec bits		2011-12-03 02:22:10 +01:00
..
Options.xhp	nlpsolver: remove unneeded exec bits	2011-12-03 02:22:10 +01:00
Usage.xhp	nlpsolver: remove unneeded exec bits	2011-12-03 02:22:10 +01:00