diff options
| author | Xusheng <xusheng@vector35.com> | 2023-06-20 11:20:14 +0800 |
|---|---|---|
| committer | Xusheng <xusheng@vector35.com> | 2023-06-20 11:20:14 +0800 |
| commit | 067e49d16da566d51edf2af77b9c8a0f796809d0 (patch) | |
| tree | 3d3099e0737526ac5cea8ec760601afb94d046c8 /.gitignore | |
| parent | 6239817e602220442891d9c81617603165d79808 (diff) | |
Correctly ignore debugger docs in .gitignore
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -86,4 +86,6 @@ rust/examples/*/target/ # Debugger docs docs/img/debugger -docs/guide/*.md +docs/guide/debugger.md +docs/guide/remote-debugging.md +docs/guide/dbgeng-ttd.md |