Chuck d1f87ca115 extension-tool: Don't treat missing .js handler as error ...

After creating a new extension, we try to open the main source
file with the default handler, which fails when there is none.

But given that the extension was created successfully, don't treat
a missing handler as failure, and print the path to the new extension
instead.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/905

2019-12-20 14:11:03 +00:00

..

extensions-tool

extension-tool: Don't treat missing .js handler as error

2019-12-20 14:11:03 +00:00

gvc @ ec5cf3e0de

gvc: Update submodule

2019-11-23 15:16:51 +01:00