?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Sync with upstream
[llpp.git] / ppx
blob5d5a4d5832c5b338a12769a3591c776bf4480654
1 #!/bin/sh
2 cp "$1" "$2"
3 cp "$1" "$out".cmt
PDF pager