Files
lddc/tests/rock2.regularity.translation
T