diff options
author | Ruben Rodriguez <ruben@gnu.org> | 2018-05-22 18:10:31 -0400 |
---|---|---|
committer | Ruben Rodriguez <ruben@gnu.org> | 2018-05-22 18:10:31 -0400 |
commit | a1eb9c2cbd822184ee8768c85c9bb4c0d41642a9 (patch) | |
tree | 19eeecec01fcfad585ccc3847cce2e5a0d4be9a6 /html/display_panel/content/display-panel.html | |
parent | 636017dcc3e1788837d25a3d902b7040be779135 (diff) |
Bumped version to 7.14.1
Diffstat (limited to 'html/display_panel/content/display-panel.html')
0 files changed, 0 insertions, 0 deletions