author | Diego Biurrun <diego@biurrun.de> | |
Wed, 18 Jun 2014 14:21:00 +0000 (16:21 +0200) | ||
committer | Diego Biurrun <diego@biurrun.de> | |
Sun, 22 Jun 2014 21:15:14 +0000 (23:15 +0200) | ||
commit | 463a7cde563fd805864c48a76dd1b03fc24671ed | |
tree | 8ee11b4f2fbb908e1fac8443c2aee2f710f45f01 | tree | snapshot |
parent | 0ef256d51518f0e483c38b9ee3b993cf0709d00e | commit | diff |
configure | diff | blob | history | |
doc/platform.texi | diff | blob | history |