-
Guillaume Melquiond authored
Moreover, this commit also performs the emacs compilation at build time rather than install time. It also uninstalls why3.elc systematically.
b2bc597b
Moreover, this commit also performs the emacs compilation at build time rather than install time. It also uninstalls why3.elc systematically.