summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2012-03-05 13:13:21 +0000
committerChristian Grothoff <christian@grothoff.org>2012-03-05 13:13:21 +0000
commitcb7a7e7e360e88f3b214b08c30c1c1f1bd3de8ce (patch)
tree993c327ff41320ece4476d58f8e9da05c81d91d3 /doc
parent03b9677115d2879d968b2ed49d2c88fdce6bcab9 (diff)
-more renaming
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions