diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2020-01-16 11:59:18 +0100 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2020-01-16 11:59:18 +0100 |
| commit | dc71296431ac9cf2c4bd6480b0a46216840b9f00 (patch) | |
| tree | 7e9ca38f2848d46705067c6e8d5e97389f4220be /doc/LICENSE.en.txt | |
| parent | 3f7a216d2d79a1b37e4bfee6a6ec7e1742f96736 (diff) | |
#946: Update release number.
Diffstat (limited to 'doc/LICENSE.en.txt')
0 files changed, 0 insertions, 0 deletions