diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-07 11:02:41 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-07 11:02:41 -0800 |
| commit | abf2e9a984ff37dc292233d79bd64b7460427788 (patch) | |
| tree | 4966704ea6dd3fa7ffa6359ffc3092159cbf4ab2 /src/ChangeLog | |
| parent | 57a9062689d64cd78081ffe2d19638cd5569d9b1 (diff) | |
| download | open-axiom-abf2e9a984ff37dc292233d79bd64b7460427788.tar.gz | |
Remove 'parentsOf'; adjust users.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 9c1205bb..ff786850 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,7 @@ +2016-01-07 Gabriel Dos Reis <gdr@axiomatics.org> + + * interp/br-data.boot (parentsOf): Remove. Adjust users. + 2016-01-06 Gabriel Dos Reis <gdr@axiomatics.org> * interp/c-util.boot (dbForCategory?): New. Use in lieu of |