graph2dot: Fix use of deprecated API
authorDiego Biurrun <diego@biurrun.de>
Mon, 4 Nov 2013 16:35:38 +0000 (17:35 +0100)
committerDiego Biurrun <diego@biurrun.de>
Mon, 4 Nov 2013 22:04:10 +0000 (23:04 +0100)
commit48715285f69d70879353737d7bed049f89f58096
tree8893f530350fdc40633e3726ef00a5fba5c8e774
parent70cbf33405f50dfaf77e85f382a188acf17dc71a
graph2dot: Fix use of deprecated API
tools/graph2dot.c