summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-08-31 16:54:13 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-08-31 16:54:13 -0400
commit83431c3e4c3fa74cae515520be04a0be3c11fef2 (patch)
treeb7d5f19b05bbef691eeeb0b4103fe952bcb42cb2 /Makefile
parent3b3eb1273341bcc8787ab2efa9f7fe7cfd2f9235 (diff)
Monoize ASC/DESC
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions