author | Diego Biurrun <diego@biurrun.de> | |
Tue, 7 Aug 2012 12:56:38 +0000 (14:56 +0200) | ||
committer | Diego Biurrun <diego@biurrun.de> | |
Tue, 7 Aug 2012 20:54:44 +0000 (22:54 +0200) | ||
commit | 578344f79c480507fe07303ce6ed75d45fe0dd26 | |
tree | c04dd84a2902d9e5879d86bf859108e509da041c | tree | snapshot |
parent | a2b4d1df52f3d551ebf12a2240dffe3e9c162190 | commit | diff |
doc/platform.texi | diff | blob | history |