diff options
| author | Michele Guerini Rocco <rnhmjoj@users.noreply.github.com> | 2020-04-04 20:07:07 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-04 20:07:07 +0200 |
| commit | 45407168487b9d860aba1b1e9ab7a4b29eda627e (patch) | |
| tree | c9591f7bbe520abbf15c1b1e2e48d37412c73bcd /pkgs/development/python-modules/httpserver | |
| parent | 5572974c0d1bc496cef90e0dd7aaac81c5e5a1d9 (diff) | |
| parent | 1af6a1a1346ea596f766da703ba434d1faee7321 (diff) | |
Merge pull request #84245 from rnhmjoj/riot-fix
riot-desktop: add gsettings schemas to the wrapper
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions