Skip to content

fix 3-pane mode for small frame heights #645

fix 3-pane mode for small frame heights

fix 3-pane mode for small frame heights #645

Annotations

2 errors

compile-tests (coq-8.17.1-emacs-26.3)

cancelled Apr 17, 2024 in 1m 33s