1ee98a0 Use dune instead of jbuilder.

Authored and Committed by rjones a year ago
    Use dune instead of jbuilder.
    
        
file modified
+3 -2