diff options
| author | Raul Infante-Sainz <infantesainz@gmail.com> | 2019-04-29 13:30:13 +0100 |
|---|---|---|
| committer | Raul Infante-Sainz <infantesainz@gmail.com> | 2019-04-29 13:30:13 +0100 |
| commit | 94f258b973a111178c3399bef372dc1b195dd025 (patch) | |
| tree | b0b69faf89a5e0376a19829cea176a77748930ed /reproduce/analysis/bash | |
| parent | 1ab991de9ee1f911bd156c1b45084763a4936a27 (diff) | |
Corrected spaces/TAB in some rules
In some rules there were some spaces when we should use TAB, and
also the other way around. We were using TAB instead using spaces.
With this commit, we fix that spaces/TAB in the necessary rules.
Diffstat (limited to 'reproduce/analysis/bash')
0 files changed, 0 insertions, 0 deletions