diff help/topics.html @ 503:1e735168df81

Encountering some peculiar problems with platform... but it's overkill for this anyway, use os.name instead
author Chris Cannam
date Thu, 15 Sep 2011 14:24:37 +0100
parents b3309be1640f
children f56e5c39aad1
line wrap: on
line diff