author | Diego Biurrun <diego@biurrun.de> | |
Thu, 9 Aug 2012 13:30:24 +0000 (15:30 +0200) | ||
committer | Diego Biurrun <diego@biurrun.de> | |
Thu, 9 Aug 2012 18:05:54 +0000 (20:05 +0200) | ||
commit | 52561d011658e64fc3d0edb25f5f1b64f9aa7430 | |
tree | 2d4677777deea220d15aa5d82c2d095a00c0a51b | tree | snapshot |
parent | 90f7e6176938487a77b8b4cdc8b4eaeeaca3e094 | commit | diff |
doc/platform.texi | diff | blob | history |