diff options
author | xCrystal <rgr.crystal@gmail.com> | 2019-09-10 20:29:30 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-10 20:29:30 +0200 |
commit | 061a4bdc5a0ece89a5fad6279529d71926074084 (patch) | |
tree | 3ab86f89007e92b24e730bc2ea5eb2bcae01fa00 /tools/script_extractor.py | |
parent | c65123b5e29f32fa884c85ea518742debd2c25a9 (diff) | |
parent | 6d267237b14d5bf252bada97107ff5c9732bae1b (diff) |
Merge pull request #59 from jidoc01/master
On OpenGlossaryScreen
Diffstat (limited to 'tools/script_extractor.py')
0 files changed, 0 insertions, 0 deletions