Viewing all changes in revision 1033.
- Committer: Jiri Srba
- Date: 2020-01-20 10:24:51 UTC
- mfrom: (1032.1.1 updated-launch4j-config)
- Revision ID: srba.jiri@gmail.com-20200120102451-sgux6ia1jka83w5b
merged in lp:~yrke/tapaal/updated-launch4j-config fixing launch4j script
- files added:
- tools/launch4j-config-archive
- files renamed:
- tools/launch4j-conf-jiri-3.0.xml => tools/launch4j-config-archive/launch4j-conf-jiri-3.0.xml
- tools/launch4j-conf-jiri-3.6.xml => tools/launch4j-config-archive/launch4j-conf-jiri-3.6.xml
- tools/launch4j-conf-jiri.xml => tools/launch4j-config-archive/launch4j-conf-jiri.xml
- tools/launch4j-conf.xml => tools/launch4j-config-archive/launch4j-conf.xml
expand all
collapse all
added
removed
