Summary:
Pull Request resolved: https://github.com/facebookresearch/faiss/pull/3977
These were getting erased in D64484165.
Similar to D64481766, we need to add lint ignore to not erase Nvidia license.
Without the changes in this diff to ignore lint, screenshots show these 4 files erase the license when running the lint command:
Before lint:
{F1941712401}
After lint:
{F1941712573}
Reviewed By: asadoughi
Differential Revision: D64712875
fbshipit-source-id: ada63a8d2f3e4af6c58971f83053b0eb443908d8