diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-02-07 01:05:04 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-07 01:05:04 +0100 |
| commit | b0a73077cb8395ad39124dd08490195adbfb90c9 (patch) | |
| tree | 974b5c9302fd98f4a4a69dec9e57ad08297cfd12 /modules/websocket/config.py | |
| parent | 3cb1b2227ff211cd06e4929b2b1e8d775a0937fd (diff) | |
| parent | f3abd4a0652152956d1ceaed491694aaacd9ccf3 (diff) | |
Merge pull request #14888 from Faless/websocket
Websocket module
Diffstat (limited to 'modules/websocket/config.py')
| -rw-r--r-- | modules/websocket/config.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/modules/websocket/config.py b/modules/websocket/config.py new file mode 100644 index 0000000000..fb920482f5 --- /dev/null +++ b/modules/websocket/config.py @@ -0,0 +1,7 @@ + +def can_build(platform): + return True + + +def configure(env): + pass |