diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/librejs.info | 4 | ||||
-rw-r--r-- | doc/version.texi | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/doc/librejs.info b/doc/librejs.info index 6c63ddc..d1591ba 100644 --- a/doc/librejs.info +++ b/doc/librejs.info @@ -1,7 +1,7 @@ This is librejs.info, produced by makeinfo version 5.2 from librejs.texi. -This manual is for GNU LibreJS (version 6.0.11, 04 May 2016), a GNU +This manual is for GNU LibreJS (version 6.0.12, 04 May 2016), a GNU IceCat extension to detect and block nonfree nontrivial JavaScript on webpages. @@ -24,7 +24,7 @@ File: librejs.info, Node: Top, Next: Overview, Up: (dir) LibreJS ******* -This manual is for GNU LibreJS (version 6.0.11, 04 May 2016). +This manual is for GNU LibreJS (version 6.0.12, 04 May 2016). * Menu: diff --git a/doc/version.texi b/doc/version.texi index dd0d97e..d267806 100644 --- a/doc/version.texi +++ b/doc/version.texi @@ -1,4 +1,4 @@ @set UPDATED 04 May 2016 @set UPDATED-MONTH May 2016 @set EDITION 2 -@set VERSION 6.0.11 +@set VERSION 6.0.12 |