Bram Matthys a0aec38df2 Get rid of DISABLE_USERMOD, since you can achieve the same in U5 via ...

the restrict-commands module in a dynamic way (with more options too).

2019-09-09 13:27:25 +02:00

..

nix

Get rid of DISABLE_USERMOD, since you can achieve the same in U5 via

2019-09-09 13:27:25 +02:00

windows

Windows buildbot fixes

2019-08-27 12:47:30 +02:00