diff options
| author | Lukas Winkler <github@lw1.at> | 2019-01-28 05:58:46 +0300 |
|---|---|---|
| committer | diosmosis <diosmosis@users.noreply.github.com> | 2019-01-28 05:58:46 +0300 |
| commit | 0501b176a17b9ef28bbbf8c771e3304cdc4054ce (patch) | |
| tree | 43f617ae322ed0c4108234db6ec94e8f14c42a18 /plugins/TagManager | |
| parent | 0cdfff7d3d33415dc303ba9e4a2adf41cc3fb230 (diff) | |
update JShrink (followup) (#14011)
* update JShrink
* remove old library
* Update submodule.
Diffstat (limited to 'plugins/TagManager')
| m--------- | plugins/TagManager | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/plugins/TagManager b/plugins/TagManager -Subproject d492fb1900e92c23136d47cb80392df29ff0d67 +Subproject d18054d0a998bb635ce93e74be1dded56c00e0c |