Remove unused Key.Empty

2025-11-15 14:31:46 +01:00
parent bc5297196e
commit c9931ff4d9
1 changed files with 0 additions and 1 deletions
--- a/src/mpv/internal.gleam
+++ b/src/mpv/internal.gleam
@@ -10,7 +10,6 @@ pub type Key {
  Down

  Continue
-  Empty
  Unknown
 }