diff options
| author | Joseph Myers <joseph@codesourcery.com> | 2020-01-13 12:25:00 +0000 |
|---|---|---|
| committer | Joseph Myers <joseph@codesourcery.com> | 2020-01-13 12:25:00 +0000 |
| commit | b2b465c555370b60f48864b5cd525b9b60b4e29f (patch) | |
| tree | dd2ac4c3ad9eefb484c76178834c89a90c224b52 /ChangeLog | |
| parent | cff5a231480526aa73094a22fe8b2f39b63735a4 (diff) | |
Remove README.MOVED_TO_GIT. The repository is now open for commits.
* README.MOVED_TO_GIT: Remove.
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog index 63697df63fd..a74b31ebc1c 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2020-01-13 Joseph Myers <joseph@codesourcery.com> + + * README.MOVED_TO_GIT: Remove. + 2020-01-11 Joseph Myers <joseph@codesourcery.com> * README.MOVED_TO_GIT: New file. |