summaryrefslogtreecommitdiff
path: root/dev-ml/camlp5
diff options
context:
space:
mode:
authorGravatar Chris Xiong <chirs241097@gmail.com> 2021-12-08 19:45:39 -0500
committerGravatar Chris Xiong <chirs241097@gmail.com> 2021-12-08 19:45:39 -0500
commitae66db0476a7508b581c9261944facc29d5841fe (patch)
tree51e3536ef3c6fb6bf804d479d7237c67c17b5814 /dev-ml/camlp5
parentf47ad9f0ff5f00da978f70c1c5000ac2d454aaa0 (diff)
downloadppo-ae66db0476a7508b581c9261944facc29d5841fe.tar.xz
correctly patch compiler/BUILD.gn
Diffstat (limited to 'dev-ml/camlp5')
0 files changed, 0 insertions, 0 deletions