diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-09-20 18:44:30 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-20 18:44:30 +0100 |
commit | 6cf4ecc3d4919c39adea38a07f7c3a0d7208f57a (patch) | |
tree | 20a70f485caacfcad6e11ae2c92526a6e59b90e2 /doc/stdenv.xml | |
parent | 62aadba1fd8bdbd12d79438caf77a98a625dbb14 (diff) | |
parent | 273501303cb1844f512c9b4ac428f14a2c69a040 (diff) |
Merge pull request #47018 from romildo/upd.numix-icon-theme-circle
numix-icon-theme-circle: 18-08-17 -> 18.09.19
Diffstat (limited to 'doc/stdenv.xml')
0 files changed, 0 insertions, 0 deletions