Skip to content
  • Alexandre Duret-Lutz's avatar
    Add an UTF-8 option to the web interface. · 43d1be09
    Alexandre Duret-Lutz authored
    * wrap/python/ajax/ltl2tgba.html: Add the checkbox.
    * wrap/python/ajax/css/ltl2tgba.css: Add the necessary class.
    * wrap/python/ajax/protocol.txt: Add the new option.
    * wrap/python/ajax/spot.in: Handle it.
    * wrap/python/ajax/README: Add a few lines to explain
    how to run the CGI script from the command line for debugging.
    43d1be09
To learn more about this project, read the wiki.