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
5 5
(install
6 6
 (section
7 7
  (site
8
   (lustrec include_)))
8
   (lustrec include)))
9 9
 (files
10 10
  include/conv.c
11 11
  include/conv.lusi

Also available in: Unified diff