Files

emacs

Apr 27, 2024

663ba13 · Apr 27, 2024

Name	Name	Last commit message	Last commit date
parent directory ..
dune	dune	added dune-watch.el to install targets	May 29, 2021
dune-flymake.el	dune-flymake.el	Spelling (#4909 )	Sep 9, 2021
dune-watch.el	dune-watch.el	[emacs] adapt dune-watch mode to change of header	Aug 5, 2022
dune.el	dune.el	[coq] Add support for per-file flags.	Apr 27, 2024