diff options
| author | Aleksey Kladov <[email protected]> | 2019-10-04 22:40:35 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2019-10-04 22:40:35 +0100 |
| commit | f749a1b846d6ec69fa0e7bae9872f2f3e3ce138f (patch) | |
| tree | 7c5f3a32e0e504c836d521b83d690f06ca3429e9 /crates/ra_ide_api/src/syntax_highlighting.rs | |
| parent | 7d1bb35fb179b7e55ceb9c5354d9d74bffb8ca63 (diff) | |
don't keep history for gh-pages
docs weigh a lot, and change a lot. Keeping their changes in history
inflates repo size. By specifying `keep-history: false` we should be
able to avoid that.
Diffstat (limited to 'crates/ra_ide_api/src/syntax_highlighting.rs')
0 files changed, 0 insertions, 0 deletions