Hornwitser 38462d3069 Set User-Agent according to GitHub's request ...

GitHub requests that the user agent be set to either the name of the
user or the application[1].  Set user agent to the name of this
application as they request.

[1] https://developer.github.com/v3/#user-agent-required

2019-08-24 11:02:50 +02:00

..

configManager.js

Enable and disable plugins from the commandline (non functional as of yet)

2018-08-15 23:15:01 +02:00

configManager.spec.js

Added search functionality to mod manager #59

2017-11-06 21:12:25 +01:00

instanceManager.js

0.17 update: Fixed hotpatch and scenario_loader

2019-02-27 11:05:39 +01:00

modManager.js

Set User-Agent according to GitHub's request

2019-08-24 11:02:50 +02:00

modManager.spec.js

More mod manager stuff, node client.js list is more informative

2017-11-03 22:54:52 +01:00

pluginManager.js

Plugin loading race condition, resolves #136

2018-09-27 13:48:41 +02:00