Carlos Martín Nieto 86bfc3e1c6 diff: change id abbrev option's name to id_abbrev ... Same as the other commits in the series, we use 'id' when talking about thing rather than the datatype.		2014-01-25 08:15:44 +01:00
..
git2	diff: change id abbrev option's name to id_abbrev	2014-01-25 08:15:44 +01:00
git2.h	Include git2/revert.h in git2.h	2013-12-03 23:00:50 +08:00