Designate pants.ini as legacy, but still supported, in docs#9194
Merged
Eric-Arellano merged 5 commits intopantsbuild:masterfrom Eric-Arellano:deprecate-pants-iniMar 4, 2020
+80
pants.ini as legacy, but still supported, in docs#9194