Merge pull request #506 from nodiscc/patch-2
commitdaecf5756d60fe37f2d04b53ef9484278181bebc
authorpyllyukko <pyllyukko@maimed.org>
Thu, 14 Jan 2021 22:13:13 +0000 (14 22:13 +0000)
committerGitHub <noreply@github.com>
Thu, 14 Jan 2021 22:13:13 +0000 (14 22:13 +0000)
tree5c3063734c15c21004a3b2929e29345b87d8dbf6
parent122f17cbe8d008b645af9e7fc1f370c2b9a510f5
parentd1d568c20146bb7a93390db0ae88965aae9ada10
Merge pull request #506 from nodiscc/patch-2

makefile: remove upstream webide.js download