plugins
|
version 1.2018.1
|
2018-01-28 23:08:15 +01:00 |
projection
|
version 1.2018.1
|
2018-01-28 23:08:15 +01:00 |
renderer
|
version 1.2018.1
|
2018-01-28 23:08:15 +01:00 |
scanbit
|
valueOf or auto-unbox instead of new
|
2022-01-22 04:30:44 +01:00 |
scandot
|
version 1.2018.1
|
2018-01-28 23:08:15 +01:00 |
shader
|
version 1.2018.1
|
2018-01-28 23:08:15 +01:00 |
Configuration.java
|
version 1.2018.1
|
2018-01-28 23:08:15 +01:00 |
ConfigurationACearth.java
|
version 1.2018.1
|
2018-01-28 23:08:15 +01:00 |
MapData.java
|
Documentation corrections
|
2019-07-04 13:52:30 +02:00 |
MapDataReader.java
|
valueOf or auto-unbox instead of new
|
2022-01-22 04:30:44 +01:00 |