Merge pull request #4050 from judah/reenable-proto-lens

Reenable proto-lens-*.
This commit is contained in:
Alexey Zabelin 2018-10-13 00:51:27 -04:00 committed by GitHub
commit 0b13d76297
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -4102,7 +4102,6 @@ packages:
- language-c-quote < 0
- language-puppet < 0
- learn-physics < 0
- lens-labels < 0
- line < 0
- linked-list-with-iterator < 0
- locators < 0
@ -4200,14 +4199,6 @@ packages:
- postgresql-typed < 0
- primitive-extras < 0
- prometheus < 0
- proto-lens < 0
- proto-lens-arbitrary < 0
- proto-lens-combinators < 0
- proto-lens-optparse < 0
- proto-lens-protobuf-types < 0
- proto-lens-protoc < 0
- proto-lens-runtime < 0
- proto-lens-setup < 0
- protocol-radius < 0
- protocol-radius-test < 0
- protolude < 0