Merge pull request #1827 from UlrichB22/profile

remove obsolete profile.py
moinwiki · Jan 21, 2025 · 5c5732b · 5c5732b
2 parents c81d484 + ef2fe97
commit 5c5732b
Showing 1 changed file with 0 additions and 187 deletions.
diff --git a/src/moin/utils/profile.py b/src/moin/utils/profile.py