From 9988a93f7f630bf787dcea5db09117d9c343b0f3 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 16 May 2025 14:11:58 -0700 Subject: [PATCH] fix Signed-off-by: Nikolaj Bjorner --- genaisrc/prd.genai.mts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/genaisrc/prd.genai.mts b/genaisrc/prd.genai.mts index dbbc15978..36dc1c2e6 100644 --- a/genaisrc/prd.genai.mts +++ b/genaisrc/prd.genai.mts @@ -34,4 +34,4 @@ This description will be used as the pull request description. - use gitmojis to make the description more engaging - focus on the most important changes - do not try to fix issues, only describe the changes -- ignore comments about imports (like added, remove, changed, etc.) \ No newline at end of file +- ignore comments about imports (like added, remove, changed, etc.)` \ No newline at end of file