diff options
| author | Alexey Gladkov <gladkov.alexey@gmail.com> | 2020-08-05 17:00:21 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-08-05 21:55:19 +0200 |
| commit | e1578773182e8f69c3a0cd8add8dfbe7561a8240 (patch) | |
| tree | d068c43b4ff6c3eb3345f8e6bdb947bf0c5887ce /.gitignore | |
| parent | 8c7aee717a3366a2f77dd7871089588862b114a6 (diff) | |
| download | sparse-dev-e1578773182e8f69c3a0cd8add8dfbe7561a8240.tar.gz | |
sindex: rename it to 'semind'
The name 'sindex' is already used by another package (biosquid).
So it was decided to rename it to 'semind'.
Signed-off-by: Alexey Gladkov <gladkov.alexey@gmail.com>
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -19,7 +19,7 @@ graph obfuscate sparse sparse-llvm -sindex +semind test-dissect test-inspect test-lexing |