53db40974b
ports. Also use "official" names for platforms where appropriate. Partly suggested by: phantom |
||
---|---|---|
.. | ||
artheader.sgml | ||
config.sgml | ||
dev.sgml | ||
hw.ent | ||
intro.sgml |
53db40974b
ports. Also use "official" names for platforms where appropriate. Partly suggested by: phantom |
||
---|---|---|
.. | ||
artheader.sgml | ||
config.sgml | ||
dev.sgml | ||
hw.ent | ||
intro.sgml |