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 d1591ba..411a3aa 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.12, 04 May 2016), a GNU +This manual is for GNU LibreJS (version 6.0.13, 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.12, 04 May 2016). +This manual is for GNU LibreJS (version 6.0.13, 04 May 2016). * Menu: diff --git a/doc/version.texi b/doc/version.texi index d267806..3e99950 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.12 +@set VERSION 6.0.13 |