aboutsummaryrefslogtreecommitdiff
path: root/src/testsuite
diff options
context:
space:
mode:
authorGabriel Dos Reis <gdr@axiomatics.org>2016-01-17 17:15:22 -0800
committerGabriel Dos Reis <gdr@axiomatics.org>2016-01-17 17:15:22 -0800
commit5950f07335c0a2f38224e0223951f9cf6fca350b (patch)
tree16db65f7f9a070ad721d32923ffae0ed0eb733aa /src/testsuite
parent68ee78c1a740a9fc60f04a20b685d46a44570360 (diff)
downloadopen-axiom-5950f07335c0a2f38224e0223951f9cf6fca350b.tar.gz
Propagate renaming.
Diffstat (limited to 'src/testsuite')
0 files changed, 0 insertions, 0 deletions