Mon, 27 Nov 2023 14:45:11 +0100
Fixed an issue related to 'jedi' completions being inserted twice.
10345
175e6f023126
Fixed an issue related to 'jedi' completions being inserted twice.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
10341
diff
changeset
|
1 | (binary:application/octet-stream) |