Hi, Something else that popped up recently, should we remove the DISABLE_EDITOR build option? It breaks on a regular basis and is not much tested.
How much is the option really used and does it make sense to keep it? If there are no objections I'll remove the option soon. -- Regards, Mark de Wever aka Mordante/SkeletonCrew _______________________________________________ Wesnoth-dev mailing list [email protected] https://mail.gna.org/listinfo/wesnoth-dev
