kwolekr 3c63c3044d Add MapSettingsManager and new mapgen setting script API functions ...

This commit refactors the majority of the Mapgen settings system.
- MapgenParams is now owned by MapSettingsManager, itself a part of ServerMap,
  instead of the EmergeManager.
- New Script API functions added:
    core.get_mapgen_setting
    core.get_mapgen_setting_noiseparams,
    core.set_mapgen_setting, and
    core.set_mapgen_setting_noiseparams.
- minetest.get/set_mapgen_params are deprecated by the above new functions.
- It is now possible to view and modify any arbitrary mapgen setting from a mod,
  rather than the base MapgenParams structure.
- MapgenSpecificParams has been removed.

2016-07-03 15:38:36 -04:00

..

jni

Add MapSettingsManager and new mapgen setting script API functions

2016-07-03 15:38:36 -04:00

patches

Fix android build by fixing patch line endings

2016-05-14 16:46:46 +02:00

src

Tell irrlicht if we handle a key or not.

2016-05-26 20:33:33 +02:00

build.gradle

Bump version to 0.4.14

2016-05-15 14:49:15 +02:00

Makefile

Android: enable parallelism for main target too

2016-05-16 05:14:25 +01:00

settings.gradle

Upgrade Android build to Gradle build system

2016-04-28 12:28:42 -04:00