-
Christophe Fergeau authored
Some symbols were manually added to these files not in the right place (non-alphabetical order). This causes spurious diffs when trying to compare these files with the ones make update-symbol-files would generate. This commit syncs these file with the ones which are autogenerated to spot more easily differences between the file in git and the autogenerated one.
2e839d12