diff options
| author | Philipp Hörist <philipp@hoerist.com> | 2019-03-17 01:00:12 +0300 |
|---|---|---|
| committer | Philipp Hörist <philipp@hoerist.com> | 2019-03-17 01:00:12 +0300 |
| commit | 85d966783c433279291a7ca78b1cf799a01fbeff (patch) | |
| tree | 8accad6d4628c21d21dcb91aa3f18e236f624f1f | |
| parent | 9d3a35fc7e5a229826ab5bdc775d3251d74e1c87 (diff) | |
[acronyms] Update manifest.ini
| -rw-r--r-- | acronyms_expander/manifest.ini | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/acronyms_expander/manifest.ini b/acronyms_expander/manifest.ini index 10e34bc..b13ddbb 100644 --- a/acronyms_expander/manifest.ini +++ b/acronyms_expander/manifest.ini @@ -1,7 +1,7 @@ [info] name: Acronyms Expander short_name: acronyms_expander -version: 1.1.4 +version: 1.1.5 description: Replaces acronyms (or other strings) with given expansions/substitutes. authors: Mateusz Biliński <mateusz@bilinski.it> homepage: https://dev.gajim.org/gajim/gajim-plugins/wikis/AcronymsExpanderPlugin |