From 2660bdffcfa0ab16ed94e3b27ba2c8d2b29ff3ce Mon Sep 17 00:00:00 2001 From: Klemens Morgenstern Date: Mon, 21 Oct 2024 07:12:21 +0800 Subject: [PATCH] added boost/pool to drone.star. --- .drone.star | 1 + 1 file changed, 1 insertion(+) diff --git a/.drone.star b/.drone.star index 19cb87f6..9537552c 100644 --- a/.drone.star +++ b/.drone.star @@ -36,6 +36,7 @@ deps = [ 'libs/mp11', 'libs/numeric', 'libs/optional', + 'libs/pool', 'libs/predef', 'libs/preprocessor', 'libs/range',