diff options
| author | Florian Müllner <fmuellner@gnome.org> | 2022-02-18 00:42:49 +0100 |
|---|---|---|
| committer | Marge Bot <marge-bot@gnome.org> | 2023-04-21 18:28:32 +0000 |
| commit | 2eb3aff92ce76b7e7f59817d94cd33af90209b7f (patch) | |
| tree | f5dae793dc23333fe8f1300563e65fccd6e383fe | |
| parent | 0a420404c6035b66706c5b5747e9f04d64a75e6f (diff) | |
| download | gnome-shell-2eb3aff92ce76b7e7f59817d94cd33af90209b7f.tar.gz | |
ci: Don't ignore init.js
Unlike js102, the gjs-check-syntax script supports modules, so
there's no longer a reason for ignoring the file.
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2193>
| -rw-r--r-- | .jscheckignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.jscheckignore b/.jscheckignore index 7313eb4af..e69de29bb 100644 --- a/.jscheckignore +++ b/.jscheckignore @@ -1 +0,0 @@ -js/ui/init.js
\ No newline at end of file |