diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2020-10-19 03:44:10 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2020-10-19 03:44:10 +0100 |
| commit | 6ee18ebe2bcd2ca788802811d7a6b90a51243f17 (patch) | |
| tree | fd1ae84d9ec4e238bec24558e79703e0a30f97c4 /doc | |
| parent | 9162d74f40f805ec8880ed4bb3e3c8103a84fcf3 (diff) | |
| download | mdk-6ee18ebe2bcd2ca788802811d7a6b90a51243f17.tar.gz mdk-6ee18ebe2bcd2ca788802811d7a6b90a51243f17.tar.bz2 | |
Version bump
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/mdk.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/mdk.texi b/doc/mdk.texi index 3b05687..32b5b84 100644 --- a/doc/mdk.texi +++ b/doc/mdk.texi @@ -8,8 +8,8 @@ @c %**end of header @set UPDATED October, 2020 -@set EDITION 1.2.11 -@set VERSION 1.2.11 +@set EDITION 1.3.0 +@set VERSION 1.3.0 @set JAO Jose Antonio Ortega Ruiz @set PHILIP Philip E. King @set PIETER Pieter E. J. Pareit |