fix issue template

model-checking · Dec 10, 2024 · 0bb5841 · 0bb5841
1 parent f54165e
commit 0bb5841
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/ISSUE_TEMPLATE/tool_application.md b/.github/ISSUE_TEMPLATE/tool_application.md
@@ -5,4 +5,6 @@ title: "[Tool Application] "
 labels: Tool Application
 ---
 
-{% include_relative ../doc/src/tool_template.md %}
+<!--
+Please see https://model-checking.github.io/verify-rust-std/tool_template.html for the application template.
+-->