Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Silence all Lean Core warnings in Prelude.js
Summary: See https://fb.workplace.com/permalink.php?story_fbid=2337018256625463&id=100009037038038&substory_index=58 for motivation. I opted for using a substring that is unlikely to come up in warnings in product code but is shared across all lean core warnings. I think this is good enough and won't require updates every time we deprecate a new module. Reviewed By: yungsters Differential Revision: D16073431 fbshipit-source-id: 136b9e8ab53c85d2de5ed7844780f5d082087a7d
- Loading branch information