diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2024-12-11 13:07:00 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-12-11 13:07:00 +0100 |
| commit | 461ba9dce938791089e2d1b15c297110f3374bc2 (patch) | |
| tree | 4ba160c75cedb609531ba63457b53fb60adbe3b0 /docs/.gitignore | |
| parent | 738af822905fdcf0466e9dd784b9ae4b0b34987f (diff) | |
| parent | afb459ae2acc6b969dc5fcae3431f59ae134f8fa (diff) | |
Merge pull request #341 from YosysHQ/docs
Convert documentation to readthedocs
Diffstat (limited to 'docs/.gitignore')
| -rw-r--r-- | docs/.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/.gitignore b/docs/.gitignore new file mode 100644 index 0000000..e587a9c --- /dev/null +++ b/docs/.gitignore @@ -0,0 +1,2 @@ +.venv +build |