diff options
| author | worldofpeace <worldofpeace@protonmail.ch> | 2019-09-23 18:26:52 -0400 |
|---|---|---|
| committer | Jan Tojnar <jtojnar@gmail.com> | 2019-10-03 00:09:14 +0200 |
| commit | d935c9bc59a206ba552f27f488451179e26ddb71 (patch) | |
| tree | fcf898b5a8e703cb38d48de525b76ebd1f206a89 /pkgs/development/python-modules/rangehttpserver | |
| parent | dac8bf9ed5bbbcac38a8091c1234f79bc98e2678 (diff) | |
gnomeExtensions.mediaplayer: remove
Source repo is archived and the extension was retired [0]
[0]: https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer/blob/master/README.md
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions