Project

General

Profile

« Previous | Next » 

Revision f7c73c82

Added by Corentin Lauverjat over 1 year ago

  • ID f7c73c8258224fd50c54773ec7d3938983ce3cee
  • Parent 3769b712

Correctif

View differences:

src/dune
20 20
  ; {% if enable_zustre %} zustre_for_lustrev  {% endif %}
21 21
  ; {% if enable_seal %} seal {% endif %}
22 22
  
23
   tiny_for_lustrev 
24
   zustre_for_lustrev  
23
   ;tiny_for_lustrev 
24
   ;zustre_for_lustrev  
25 25
  
26 26
  )
27 27
  (modules :standard \ 

Also available in: Unified diff