Project

General

Profile

« Previous | Next » 

Revision 76aa0d9e

Added by LĂ©lio Brun over 1 year ago

include_ is now include with dune 2.9

View differences:

dune-project
20 20
 (sites
21 21
  (lib plugins)
22 22
  (lib verifiers)
23
  (lib include_)
23
  (lib include)
24 24
  (share testgen))
25 25
 (synopsis "A Lustre compiler toolset")
26 26
 (description

Also available in: Unified diff