From fd8f5d296ad6dc04015089eb92abf4e2c45c836e 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 b4054f8af..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.)` +- ignore comments about imports (like added, remove, changed, etc.)` \ No newline at end of file