summaryrefslogtreecommitdiff
path: root/language
diff options
context:
space:
mode:
authorGabriel Kerneis2014-07-14 15:36:40 +0100
committerGabriel Kerneis2014-07-14 15:36:40 +0100
commit7906ee2e41610382d67e74856d3691258082f27f (patch)
tree62bf8eef2ccb79c5d360cf9f35d06595bd488211 /language
parentca08c98c36a11e9c80c35e616347d26a0426a3c6 (diff)
Alias pretty-printing
Diffstat (limited to 'language')
0 files changed, 0 insertions, 0 deletions