plugins/bufferline: add TODO to remove warnings (#318)

This commit is contained in:
Gaétan Lepage 2023-04-05 13:40:05 +02:00 committed by GitHub
parent 30726d49c6
commit d40db46d7f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -83,6 +83,8 @@ with lib; let
pick_selected = "pickSelected"; pick_selected = "pickSelected";
}; };
in { in {
# Those renamed are from 2023-04-04.
# TODO: remove them in 1-2 months
imports = imports =
[ [
( (