Mikhail Teterin c0eef0ceec java/jxgrabkey: overwrite source- and target-versions on command-line.
The author's properties file (from 2010) sets source- and target-versions
to 1.5, which is too old for JDK-1.7, for example. Instead of
patching the properties-file, overwrite the two settings on
command-line. Use the conservative value of 1.7...
2022-05-19 01:27:51 -04:00
..
2021-07-01 04:44:27 +08:00
2021-12-16 11:13:52 +03:00
2021-10-23 22:25:55 +02:00
2021-12-30 23:25:59 +01:00
2021-05-19 20:56:14 +01:00