diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2019-05-06 19:08:38 -0400 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2019-05-06 19:08:38 -0400 |
| commit | 525e3a562348813ca11a135cbc640825579af709 (patch) | |
| tree | 19b9d88c5cd5e5ccea7d7a9b1dc8b88427061192 /html/preferences_panel | |
| parent | ca7389735c0b3d0379109909e113ab153cac4b02 (diff) | |
Bumped version to 7.20.1
Diffstat (limited to 'html/preferences_panel')
0 files changed, 0 insertions, 0 deletions