diff options
author | Florian Klink <flokli@flokli.de> | 2022-10-17 14:20:10 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-10-17 14:20:10 +0200 |
commit | 24312ec52750ba043a086c666065b8d8cd6d4725 (patch) | |
tree | b10291e4826ca7b36b1f46f8a661dce76c3bce9c /pkgs/applications/version-management | |
parent | 8f271274b06c38d83e80d4e20e1e52d2de4ccc9d (diff) | |
parent | 8559a955820baa29a1f72895c249ed2db628de4b (diff) |
Merge pull request #182210 from foo-dogsquared/gnome-extension-manager
gnome-extension-manager: init at 0.4.0
Diffstat (limited to 'pkgs/applications/version-management')
0 files changed, 0 insertions, 0 deletions