From 7d47335b4f955fd93d2acaef745add723bc7f7d0 Mon Sep 17 00:00:00 2001 From: Frans Kaashoek Date: Tue, 23 Aug 2022 14:40:09 -0400 Subject: Util lab --- conf/lab.mk | 1 + 1 file changed, 1 insertion(+) create mode 100644 conf/lab.mk (limited to 'conf') diff --git a/conf/lab.mk b/conf/lab.mk new file mode 100644 index 0000000..05e8b8d --- /dev/null +++ b/conf/lab.mk @@ -0,0 +1 @@ +LAB=util -- cgit v1.2.3