diff options
Diffstat (limited to 'etc/MACHINES')
| -rw-r--r-- | etc/MACHINES | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/etc/MACHINES b/etc/MACHINES index e83b8c33a06..e87510f6d0a 100644 --- a/etc/MACHINES +++ b/etc/MACHINES @@ -1469,3 +1469,5 @@ Local variables: mode: indented-text fill-prefix: " " End: + +arch-tag: 7d2e93c7-e982-40ec-9055-3cd064042473 |