walkero
/
cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

readme: fix grammatical errors

This commit is contained in:
sandhyabhan 2020-09-01 17:37:28 +02:00 committed by Daniel Marjamäki
parent ba84196dca
commit 770bd6cb73
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
readme.txt
View File

@ -20,7 +20,7 @@ Compiling
To build the GUI, you need Qt.
When building the command line tool, PCRE is optional. It is used if you build with rules.
While building the command line tool, PCRE is optional. It is used if you build with rules.
For "bug hunting" you need Z3. Installing Z3:
* debian: "sudo apt-get install libz3-dev