diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2022-12-01 19:24:09 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-01 19:24:09 +0100 |
| commit | ca42068bdc26108cfbd9f7db8af03730bc66d13a (patch) | |
| tree | 4523a048f5262129afa7b040902b553b8b35d448 /doc/manual/custom.css | |
| parent | 7bba4b343b0b11af818a7ab41a5e83eb42e98776 (diff) | |
| parent | c068cce107b94f23c5288521770b2c807729a052 (diff) | |
Merge pull request #7251 from RelationalAI-oss/sp-docs-uninstall-prompt
docs: drop shell prompt character for consistency
Diffstat (limited to 'doc/manual/custom.css')
0 files changed, 0 insertions, 0 deletions