diff options
Diffstat (limited to 'src/m/mg1.h')
-rw-r--r-- | src/m/mg1.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/m/mg1.h b/src/m/mg1.h index 5a6250c3c3..bf6e708bd7 100644 --- a/src/m/mg1.h +++ b/src/m/mg1.h @@ -101,6 +101,3 @@ NOTE-END */ /* Avoids a compiler bug */ /* borrowed from sequent.h */ - -/* arch-tag: e15d9072-9e1a-44bf-8add-966be535967b - (do not change this comment) */ |