diff Plugins/Engine/PluginsManager.h @ 2169:d15de5685ad8

ServeFolders: "Extensions" configuration option
author Sebastien Jodogne <s.jodogne@gmail.com>
date Tue, 22 Nov 2016 15:03:14 +0100
parents dd609a99d39a
children a3a65de1840f
line wrap: on
line diff