doc: Rename BUILD to README.devel and add information about Coverity
commite5570a84d16022dda6de7d5a55f7b7bd53d4a8de
authorTobias Klauser <tklauser@distanz.ch>
Tue, 25 Aug 2015 12:11:48 +0000 (25 14:11 +0200)
committerTobias Klauser <tklauser@distanz.ch>
Tue, 25 Aug 2015 12:14:26 +0000 (25 14:14 +0200)
tree089df4bbdca44ef19b5fecdad0e009c6971bc6b9
parent5f94671f31c040f7cb78e56ac2524e84f703769c
doc: Rename BUILD to README.devel and add information about Coverity

Don't spread the information over too many documents, this is a first
step to consolidate them a bit.

Signed-off-by: Tobias Klauser <tklauser@distanz.ch>
BUILD [deleted file]
README.devel [new file with mode: 0644]