Library.json or library.properties, which one takes precedence

[ivankravets]

@fuho

My thought was that .library.json is automatically generated by the crawler.

Yes, crawler generates it with validated data. If there is library.json in a root of library, it will be used instead of library.properties.