| commit | 7170e35096f0afd084be1350d080695c70c65d40 | [log] [tgz] |
|---|---|---|
| author | Ebrahim Byagowi <ebrahim@gnu.org> | Mon Oct 29 13:11:01 2018 +0330 |
| committer | GitHub <noreply@github.com> | Mon Oct 29 13:11:01 2018 +0330 |
| tree | 9fa2126100f6aba222f9c279689fed63ba334a24 | |
| parent | 1dfe964378e97e45eedf9db9b9a7f675fe38c0bf [diff] |
Rename deprecated symbols list file name and clean it up (#1328)