Skip to content

Commit

Permalink
Bump plover-plugins-manager to 0.7.2 (#1700)
Browse files Browse the repository at this point in the history
  • Loading branch information
mkrnr authored Feb 1, 2025
1 parent f397e8e commit 99ec10b
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 1 deletion.
1 change: 1 addition & 0 deletions news.d/feature/1700.ui.md
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
Added a button to the Plugins Manager for installing plugins via Git URL.
2 changes: 1 addition & 1 deletion reqs/constraints.txt
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ packaging==21.0
pep517==0.12.0
pip==21.3.1
pkginfo==1.8.1
plover-plugins-manager==0.7.0
plover-plugins-manager==0.7.2
plover-stroke==1.1.0
plover-treal==1.0.1
pluggy==1.0.0
Expand Down

0 comments on commit 99ec10b

Please sign in to comment.