Change the interface of node_list (fully imperative now)
authorKim Nguyễn <kn@lri.fr>
Sat, 11 Jan 2014 12:13:59 +0000 (13:13 +0100)
committerKim Nguyễn <kn@lri.fr>
Sat, 11 Jan 2014 12:13:59 +0000 (13:13 +0100)

No differences found