-
Alexandre Duret-Lutz authored
* configure.ac: Output wrap/python/ajax/Makefile. * wrap/python/Makefile.am (SUBDIRS): Add ajax. * wrap/python/ajax/Makefile.am, wrap/python/ajax/README, wrap/python/ajax/ltl2tgba.html, wrap/python/ajax/spot.in: New files. * wrap/python/ajax/css/, wrap/python/ajax/js, wrap/python/ajax/logos: New directories. * README: Document wrap/python/ajax/.
34f49a86
To find the state of this project's repository at the time of any of these versions, check out the tags.