diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-10-11 00:31:28 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-11 00:31:28 +0100 |
commit | c45a6fa041d798755c87cc0092fdb3f0bb775f02 (patch) | |
tree | 20e1335ec81caf475abadfcbafef99bb4a704815 /.github/CONTRIBUTING.md | |
parent | bde4483d1336333f7c0bcd099a110dd8954c539e (diff) | |
parent | 2fdd38ed2df0f6df08154a8982c87d77b9ca7b18 (diff) | |
download | nixlib-c45a6fa041d798755c87cc0092fdb3f0bb775f02.tar nixlib-c45a6fa041d798755c87cc0092fdb3f0bb775f02.tar.gz nixlib-c45a6fa041d798755c87cc0092fdb3f0bb775f02.tar.bz2 nixlib-c45a6fa041d798755c87cc0092fdb3f0bb775f02.tar.lz nixlib-c45a6fa041d798755c87cc0092fdb3f0bb775f02.tar.xz nixlib-c45a6fa041d798755c87cc0092fdb3f0bb775f02.tar.zst nixlib-c45a6fa041d798755c87cc0092fdb3f0bb775f02.zip |
Merge pull request #48159 from Zimmi48/remove-camlp5-transitional
Remove camlp5 transitional
Diffstat (limited to '.github/CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions