Declare gnome-shell 40.* compatibility

[roundrobintaborder] / extension.js

diff --git a/extension.js b/extension.js
index 253200c27eb3e74e4d8625c5e436e31149615b33..ca2b0035f1e1a2311f0f06661ccec33e652de7c9 100644 (file)
--- a/extension.js
+++ b/extension.js
@@ -4,7 +4,7 @@
  * This program is free software; you can redistribute it and/or
  * modify it under the terms of the GNU General Public License
  * as published by the Free Software Foundation; either version 2
  * This program is free software; you can redistribute it and/or
  * modify it under the terms of the GNU General Public License
  * as published by the Free Software Foundation; either version 2

- * of the License, or (at your option) any later version.
+ * or version 3 of the License (at your option).

  *
  * This program is distributed in the hope that it will be useful,
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  *
  * This program is distributed in the hope that it will be useful,
  * but WITHOUT ANY WARRANTY; without even the implied warranty of