Skip to main content

Browse the archive

Revision 42d6c2e185ecbe608bc04bb5bb0484b9d6fcaf16 authored by Thomas Letan on 09 January 2023, 13:10:10 UTC, committed by Thomas Letan on 09 January 2023, 13:13:49 UTC 
Fixup: Renaming and smarter check
1 parent e2e6ccc
Raw File
dune 
(executable
 (name main)
 (libraries
   tezt-tezos)
 (flags (:standard -open Tezt -open Tezt_tezos -open Tezt.Base)))
back to top