Skip to content
This repository
tag: v43
Fetching contributors…

Cannot retrieve contributors at this time

file 9 lines (6 sloc) 0.249 kb
1 2 3 4 5 6 7 8 9
(* BuildInfos : meta informations about the build *)

(*
  This file is half generated by bld, using the script generate_buildinfos.sh
  It is possible to add code definition there :
*)


(* From there, the rest of the module is generated by bld *)
Something went wrong with that request. Please try again.