diff options
| author | Ellie Huxtable <ellie@elliehuxtable.com> | 2023-10-26 16:13:54 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-26 16:13:54 +0100 |
| commit | b7adf1d797f43d8547751bf7923db66c2d01c107 (patch) | |
| tree | 875500deb80898538e348ad94d96e5a9a1795e0b /docs/src/theme | |
| parent | Add release blog post and update docs (#1332) (diff) | |
| download | atuin-b7adf1d797f43d8547751bf7923db66c2d01c107.zip | |
Fix cargo deb usage (#1337)
v2.0.0 of cargo deb added the revision number. I'd rather not change the
output name of our file, so force cargo-deb to stick to the "old"
behaviour
Diffstat (limited to 'docs/src/theme')
0 files changed, 0 insertions, 0 deletions