doc/APIchanges: clarify comment on new APIs.
authorNicolas George <nicolas.george@normalesup.org>
Sat, 10 Nov 2012 12:14:48 +0000 (13:14 +0100)
committerNicolas George <nicolas.george@normalesup.org>
Fri, 16 Nov 2012 09:36:45 +0000 (10:36 +0100)
commit468781f8287b7bca8c560915a6f1ec6f37cfd4bd
tree695bd0f74c15d856011f4527db0d51994b342988
parent68def00a6330e46eea2ee6735fa4ae91317e8f5c
doc/APIchanges: clarify comment on new APIs.
doc/APIchanges