tree 92694fe6b570d46f41799ef4ce670a298f369768
parent 83a4dd3fdfb1f38391f43ef0456a958f779a3955
author doko@ubuntu.com <doko@ubuntu.com> 1341059528 +0200
committer doko@ubuntu.com <doko@ubuntu.com> 1341059528 +0200
HG:rename-source hg

- Issue #3754, refactor sys.platform / get_platform bits, use a
  global host_platform instead.