summaryrefslogtreecommitdiff
path: root/diff_settings.py
AgeCommit message (Expand)Author
2022-11-13checkpoint until virtual destructor issue is solvedPheenoh
2021-05-10Makefile fixes / JUTNameTab (#129)Jasper St. Pierre
2021-01-18Makefile: DEBUG option (#86)Erin Moon
2021-01-03diff.py: be smarter about finding object files (#55)Erin Moon
2020-12-13diff_settings.py: update for new ppc-enabled diff.py (#31)Erin Moon