summaryrefslogtreecommitdiff
path: root/src/pt
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2017-03-10 18:12:50 +0100
committerChristian Grothoff <christian@grothoff.org>2017-03-10 18:12:50 +0100
commit1bd62e9572fd9ad84ea7c5af0f2a5960e3d03d94 (patch)
treefc752a75b501e2f8fc9544261af8e1ed73dceb1a /src/pt
parent32777186fe66bcabeb510c7841cf2b95bb869181 (diff)
fix comment
Diffstat (limited to 'src/pt')
0 files changed, 0 insertions, 0 deletions