Gilles Peskine
2d89ccced5
Sort symbol lists in alphabetical order ...
They're easier to maintain that way. The old lists were partly
alphabetized, partly based on config.h order, and partly in the order
in which symbols had been added to config.pl.
2019-09-13 11:04:21 +02:00
2019-06-21 14:09:10 +01:00
2019-07-25 14:33:33 +01:00
2016-01-12 14:48:03 +00:00
2019-02-07 10:37:39 +00:00
2019-09-06 07:44:37 -04:00
2019-09-13 11:04:21 +02:00
2015-06-23 13:09:10 +02:00
2017-07-06 10:34:12 +01:00
2017-05-15 11:23:55 +03:00
2019-04-12 10:35:01 -04:00
2019-04-12 09:43:04 -04:00
2019-04-12 09:43:04 -04:00
2019-08-29 16:12:38 +01:00
2018-04-04 21:44:29 +00:00
2015-09-09 13:51:05 +02:00
2018-05-22 15:58:50 +02:00
2018-04-04 21:44:29 +00:00
2017-07-06 10:34:12 +01:00
2014-06-24 11:09:25 +02:00
2d89ccced5