diff options
Diffstat (limited to 'extra/texinfo/version')
-rw-r--r-- | extra/texinfo/version | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extra/texinfo/version b/extra/texinfo/version index 172ea404..e796a3f2 100644 --- a/extra/texinfo/version +++ b/extra/texinfo/version @@ -1 +1 @@ -7.0.1 1 +7.0.2 1 |