summaryrefslogtreecommitdiff
path: root/xtools/check_iirs.adb
AgeCommit message (Expand)Author
2014-09-25Add a python script to automatically generate disp_tree.Tristan Gingold
2005-09-24First import from sourcesgingold