diff --git a/ChangeLog b/ChangeLog index 2fc046155fb238ab0dc0de52b9da799a809974c6..4ae92688cb5694ce62fbd0b3d5b07e0702aa06a1 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1 +1,2 @@ -see "git log" +see NEWS and for more details, "git log" from the git repository +(git clone https://gitlab.inria.fr/zimmerma/ecm.git)