online_ide: update to the new API of the loader
authorJean Privat <jean@pryen.org>
Tue, 13 Oct 2015 15:47:20 +0000 (11:47 -0400)
committerJean Privat <jean@pryen.org>
Sat, 17 Oct 2015 14:22:47 +0000 (10:22 -0400)
Signed-off-by: Jean Privat <jean@pryen.org>


No differences found