author | Derek Buitenhuis <derek.buitenhuis@gmail.com> | |
Mon, 25 Nov 2013 13:45:35 +0000 (13:45 +0000) | ||
committer | Derek Buitenhuis <derek.buitenhuis@gmail.com> | |
Wed, 27 Nov 2013 13:39:03 +0000 (13:39 +0000) | ||
commit | fa515c2088e1d082d45741bbd5c05e13b0500804 | |
tree | 3767ee431edb44f9a85186cf01374a4c729971f2 | tree | snapshot |
parent | 10421bcf0ab5d48fa3d84de803e657b77fe7d3c0 | commit | diff |
doc/platform.texi | diff | blob | history |