core: Make arena size configurable.
[mes.git] / scripts / mes
1 ../mes