Project

General

Profile

« Previous | Next » 

Revision efcc8d7f

Added by LĂ©lio Brun about 2 years ago

move arrow spec in its own header

View differences:

src/dune
79 79
 (modules
80 80
   lusic
81 81
   c_backend_header c_backend_spec c_backend_makefile
82
   c_backend_lusic c_backend_mauve c_backend_src
82
   c_backend_mauve c_backend_src
83 83
   ada_backend ada_printer ada_backend_common ada_backend_ads ada_backend_adb
84 84
   ada_backend_wrapper
85 85
   horn_backend horn_backend_common horn_backend_printers

Also available in: Unified diff