From f5c64496a3cd7560dac38e2012a42e8f3be1955f Mon Sep 17 00:00:00 2001
From: Man Yue Mo <mmo@semmle.com>
Date: Mon, 27 Oct 2025 17:17:01 +0000
Subject: [PATCH] add available_tools to docker

---
 release.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/release.txt b/release.txt
index 59bf88f..80dcff3 100644
--- a/release.txt
+++ b/release.txt
@@ -32,6 +32,7 @@
 ./env_utils.py
 ./render_utils.py
 ./shell_utils.py
+./available_tools.py
 
 # prompts
 ./prompts/examples/example_prompt.yaml