aboutsummaryrefslogtreecommitdiff
path: root/dev/tools
diff options
context:
space:
mode:
authorMatthieu Sozeau2018-03-24 14:00:37 -0300
committerMatthieu Sozeau2018-03-26 12:09:16 -0300
commit2e24b82ced473fa5b8f9671407fcc8a8712fe946 (patch)
tree358808090187a95bba1569646ad66a34a8affad2 /dev/tools
parent4e3819425445c3236f6aca77e95f2ee854cf4417 (diff)
Move Classes.tex to type-classes.rst
Diffstat (limited to 'dev/tools')
0 files changed, 0 insertions, 0 deletions