diff options
Diffstat (limited to 'soltools')
| -rw-r--r-- | soltools/README | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/soltools/README b/soltools/README deleted file mode 100644 index 3c56404e62b2..000000000000 --- a/soltools/README +++ /dev/null @@ -1 +0,0 @@ -soltools: fix memory errors uncovered by valgrind and other tools.
\ No newline at end of file |