From d76532b128e4e187fd9ac5e1d018638dcf8876ec Mon Sep 17 00:00:00 2001 From: Rob Mensching Date: Tue, 4 Oct 2022 05:29:47 -0700 Subject: Modernize Util.wixext build --- src/ext/Util/be/utilbe.v3.ncrunchproject | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 src/ext/Util/be/utilbe.v3.ncrunchproject (limited to 'src/ext/Util/be') diff --git a/src/ext/Util/be/utilbe.v3.ncrunchproject b/src/ext/Util/be/utilbe.v3.ncrunchproject new file mode 100644 index 00000000..319cd523 --- /dev/null +++ b/src/ext/Util/be/utilbe.v3.ncrunchproject @@ -0,0 +1,5 @@ + + + True + + \ No newline at end of file -- cgit v1.2.3-55-g6feb