From 132b376517a58125eb19631d55e40407c309815c Mon Sep 17 00:00:00 2001 From: Peter Kriens Date: Fri, 29 Mar 2024 11:20:11 +0000 Subject: [PATCH] skip instead of ignore --- cnf/templates/tool.bnd | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cnf/templates/tool.bnd b/cnf/templates/tool.bnd index 6cc4d50..9c5d0d1 100644 --- a/cnf/templates/tool.bnd +++ b/cnf/templates/tool.bnd @@ -1,3 +1,3 @@ -tool \ - index.bnd;ignore=true, \ + index.bnd;skip=true, \ * \ No newline at end of file