immibis
6c02535304
Eclipse project fixes (#192)
* If the Eclipse project name is overridden by the build script, use the actual name.
* Clean up Eclipse launch files after cleanEclipse task.
2020-04-26 14:04:49 +01:00
..
2020-04-24 13:36:50 +01:00
2019-11-02 20:23:27 +00:00
2019-11-15 20:16:09 +00:00
2020-03-06 11:15:34 +00:00
2020-04-26 14:04:49 +01:00
2019-11-15 20:16:09 +00:00
2020-04-05 20:11:11 +01:00
2019-11-15 20:16:09 +00:00
2019-11-02 20:23:27 +00:00
2020-04-26 14:04:49 +01:00
2019-11-15 20:16:09 +00:00
2019-11-15 20:16:09 +00:00
2020-03-06 11:15:34 +00:00
2020-04-06 15:28:53 +01:00
2019-11-07 13:06:29 +00:00
2019-11-02 20:23:27 +00:00
2019-05-10 13:32:11 +02:00
2019-05-10 13:32:11 +02:00