diff options
| author | Tobias Klauser <tklauser@distanz.ch> | 2015-08-25 14:11:48 +0200 |
|---|---|---|
| committer | Tobias Klauser <tklauser@distanz.ch> | 2015-08-25 14:14:26 +0200 |
| commit | e5570a84d16022dda6de7d5a55f7b7bd53d4a8de (patch) | |
| tree | 089df4bbdca44ef19b5fecdad0e009c6971bc6b9 /ifpps.zsh | |
| parent | 5f94671f31c040f7cb78e56ac2524e84f703769c (diff) | |
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>
Diffstat (limited to 'ifpps.zsh')
0 files changed, 0 insertions, 0 deletions