On Mon, Feb 07, 2011 at 10:12:15PM +0100, Mark de Wever wrote: > 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. > If there are no objections I'll remove the option soon.
No objections, removed in r48548. -- Regards, Mark de Wever aka Mordante/SkeletonCrew _______________________________________________ Wesnoth-dev mailing list Wesnoth-dev@gna.org https://mail.gna.org/listinfo/wesnoth-dev