Add short names to each profile.

This commit is contained in:
dg
2023-05-07 21:49:14 +00:00
parent e372d757ad
commit a62346c515
66 changed files with 128 additions and 96 deletions

View File

@@ -1,5 +1,5 @@
<!-- This file is automatically generated. Do not edit. -->
# pSOS generic 800kB DSDD with PHILE
# 800kB DSDD with PHILE
pSOS was an influential real-time operating system from the 1980s, used mainly
on 68000-based machines, lasting up until about 2000 when it was bought (and