|
0982d3ec
|
2023-01-18T18:31:27
|
|
* docs/oldlogs/ChangeLog.210: Typos.
|
|
65f85237
|
2023-01-17T09:18:25
|
|
Update all copyright notices.
|
|
|
2848378b
|
2022-06-21T17:08:04
|
|
s/fixed point/fixed-point/
|
|
|
d0cfb4e1
|
2022-01-11T10:54:10
|
|
Update all copyright notices.
|
|
|
78f2bd0b
|
2021-08-22T22:32:07
|
|
Whitespace formatting.
|
|
|
ba47af32
|
2021-07-25T06:50:36
|
|
ChangeLog housekeeping.
Archive old `ChangeLog` file.
We no longer write ChangeLog entries manually; instead, the file will be
created from commit messages (which should be formatted in GNU's ChangeLog
style) by a call to
gitlog-to-changelog --format='%B%n'
or something similar (this script is part of the 'gnulib' repository).
|