From e9f5087eb6b9c2e85faf08e1abc9085b78b5885d Mon Sep 17 00:00:00 2001
From: David Given <dg@cowlark.com>
Date: Sat, 27 Aug 2022 00:55:51 +0200
Subject: [PATCH] Don't show the _micropolis include config in the profiles
 list.

---
 src/formats/_micropolis.textpb | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/formats/_micropolis.textpb b/src/formats/_micropolis.textpb
index 76e8727d..f3684aa1 100644
--- a/src/formats/_micropolis.textpb
+++ b/src/formats/_micropolis.textpb
@@ -1,4 +1,5 @@
 comment: 'Common Micropolis definitions'
+is_extension: true
 
 drive {
 	hard_sector_count: 16