From dedb0b39268841499a44df953d756f9bbba792e7 Mon Sep 17 00:00:00 2001 From: "Jurgen J. Vinju" Date: Fri, 22 Sep 2023 09:09:24 +0200 Subject: [PATCH] fixed phppp header detection patterns --- rascal_style.xml | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/rascal_style.xml b/rascal_style.xml index 2c9512f..3ed52e1 100644 --- a/rascal_style.xml +++ b/rascal_style.xml @@ -9,19 +9,19 @@ true - %% - %% - %% $ - %% $ + %% + %% + ^%% + ^%% %% true true - # - # - # $ - # $ + # + # + ^# + ^# # true true