summaryrefslogtreecommitdiff
path: root/dev-ml/camlp5
diff options
context:
space:
mode:
authorGravatar Chris Xiong <chirs241097@gmail.com> 2022-03-13 09:18:02 -0400
committerGravatar Chris Xiong <chirs241097@gmail.com> 2022-03-13 09:18:02 -0400
commite129f612d3cceceadc6637ac532337a2847447be (patch)
treeb69a1aa60dd4128db89d160eb40acc98974f7a26 /dev-ml/camlp5
parent7a5973bca3efcf56408b306a240032a4d658cec8 (diff)
downloadppo-e129f612d3cceceadc6637ac532337a2847447be.tar.xz
this silly patch is still needed for clang
Diffstat (limited to 'dev-ml/camlp5')
0 files changed, 0 insertions, 0 deletions