Changeset 19400 in josm

Timestamp:

2025-05-06T17:37:23+02:00 (6 days ago)

Author:

stoecker

Message:

support case insensitive since xxx

File:

• trunk/scripts/since_xxx.py (modified) (1 diff)

trunk/scripts/since_xxx.py

@@ -60 +60 @@
     with open(path, "r") as f:
         old_text = f.read()
-    new_text = re.sub("since xxx", lambda _: "since {}".format(rev), old_text)
+    new_text = re.sub("since [xX][xX][xX]", lambda _: "since {}".format(rev), old_text)
     if old_text != new_text:
         print(