Merge remote-tracking branch 'upstream/devel' into devel

This commit is contained in:
PhilipWitte 2015-02-15 17:27:53 -08:00
commit 0e5f6cc3b0
39 changed files with 260 additions and 259 deletions

View file

@ -61,6 +61,7 @@ srcdoc2: "pure/rawsockets;pure/asynchttpserver;pure/net;pure/selectors;pure/futu
srcdoc2: "pure/md5"
srcdoc2: "posix/posix"
srcdoc2: "pure/fenv"
srcdoc2: "pure/basic2d;pure/basic3d"
; Note: everything under 'webdoc' doesn't get listed in the index, so wrappers
; should live here