diff options
| author | hackademix <giorgio@maone.net> | 2018-09-13 22:36:41 +0200 |
|---|---|---|
| committer | hackademix <giorgio@maone.net> | 2018-09-13 22:36:41 +0200 |
| commit | 78af0be0cfd259e59474dc7ac79144ce205139dd (patch) | |
| tree | 7ad6e30defd6c3adb29c06133f315ed18cb9d87e /manifest.json | |
| parent | c2530fc59734b16a642723b3a9401f9da5033b2d (diff) | |
Version bump: 7.17.
Diffstat (limited to 'manifest.json')
| -rw-r--r-- | manifest.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manifest.json b/manifest.json index e952f22..03778d7 100644 --- a/manifest.json +++ b/manifest.json @@ -2,7 +2,7 @@ "manifest_version": 2, "name": "GNU LibreJS [webExtensions]", "short_name": "LibreJS [experimental]", - "version": "7.16", + "version": "7.17", "author": "various", "description": "Only allows free and/or trivial Javascript to run.", "applications": { |