# HG changeset patch # User Mike Becker # Date 1746350986 -7200 # Node ID d10c7926461a3f672adbf5ec731df28b14f4dc13 # Parent 7072b20aa51ff7d0cd1c1416b79b15f002f3cd01 remove unused file diff -r 7072b20aa51f -r d10c7926461a docs/Writerside/topics/common.h.md --- a/docs/Writerside/topics/common.h.md Sat May 03 13:29:22 2025 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,1 +0,0 @@ -# common.h