diff options
author | Jason Gross <jgross@mit.edu> | 2016-02-25 13:53:49 -0500 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2016-02-25 13:53:49 -0500 |
commit | 9c129000ea8bce2c794af6179524f42d88a330a1 (patch) | |
tree | e0e09baef38832baca45cf7d270d865927a3efed /Makefile | |
parent | f6733c0048eacc911feff5277fed12fb544c7299 (diff) |
Automate a UList proof a bit so it builds with 8.5
It still builds with 8.4
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions