diff --git a/plugins/mrcepa0/EZFIO.cfg b/plugins/mrcepa0/EZFIO.cfg new file mode 100644 index 00000000..9979f537 --- /dev/null +++ b/plugins/mrcepa0/EZFIO.cfg @@ -0,0 +1,5 @@ +[lambda_type] +type: Strictly_positive_int +doc: lambda type ( 0 = none, 1 = last version ) +interface: ezfio,provider,ocaml +default: 0