# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1779485679 -7200
# Node ID b84516c1fd9e1efd6734d34d05aa0387bf970133
# Parent  b09873e4df583dc2571eaf41168338e168de175f
Remove docs/_static/_DUMMY: not needed any more

diff -r b09873e4df58 -r b84516c1fd9e docs/_static/_DUMMY
--- a/docs/_static/_DUMMY	Fri May 22 12:57:49 2026 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-This is an empty placeholder