Fix the _P10_.txt filename to be consistent with the other output fil… - Githubissues

nimble-code / Cobra

An interactive (fast) static source code analyzer

136 stars 30 forks source link

Fix the _P10_.txt filename to be consistent with the other output fil… #47

Closed mjeronimo closed 2 years ago

mjeronimo commented 2 years ago

…enames .txt

Basic.txt, JPL.txt, etc.

Signed-off-by: Michael Jeronimo michael.jeronimo@openrobotics.org