diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-10-31 10:06:05 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-31 10:06:05 +0100 |
| commit | 8a4045358ec127680302c61db1fc239708f9d853 (patch) | |
| tree | c83cd885ba2e5fd031e61195be62cc2c79a32ed4 /.gitignore | |
| parent | 3439196eede778bed7f55efcdf41be668c961165 (diff) | |
| parent | df72ac5965d6bc2759662f28a63c84a96d399e7c (diff) | |
Merge pull request #23405 from YeldhamDev/remove_folding_print
Remove "save folding for:" message when saving
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions