spot/wrap/python
Alexandre Duret-Lutz 187997fe5d ltl2tgba.html: Fix initialization of unset options on reload.
* wrap/python/ajax/ltl2tgba.html: On page reload, do not ignore
fields for which no value has been set in the hash fragment.
Otherwise they will keep their default value.
Reported by Thomas Badie.
2012-03-08 22:02:16 +01:00
..
ajax ltl2tgba.html: Fix initialization of unset options on reload. 2012-03-08 22:02:16 +01:00
tests Make all python code compatible with Python 2.x and Python 3.x. 2012-02-25 14:01:43 +01:00
.cvsignore Update to SWIG 1.3.22. 2004-09-20 16:35:46 +00:00
.gitignore more files to ignore 2011-01-27 21:47:47 +01:00
buddy.i Make all python code compatible with Python 2.x and Python 3.x. 2012-02-25 14:01:43 +01:00
Makefile.am Fix VPATH builds, now that hash.hh include _config.h 2011-12-18 12:56:44 +01:00
spot.i python: fix return value of emptiness_check_instantiator 2012-03-04 17:23:46 +01:00