| commit | b7583c9a8fb0ef2ab8d7adc488209c189a385ed2 | [log] [tgz] |
|---|---|---|
| author | David Horstmann <david.horstmann@arm.com> | Tue Mar 28 15:00:24 2023 +0100 |
| committer | Gilles Peskine <Gilles.Peskine@arm.com> | Wed Aug 02 16:06:32 2023 +0200 |
| tree | 372a4124d9c4b4136df4f7270dc57a1e49bf0502 | |
| parent | 9d06c7d5e5c8ac08b2827021780cad7e39796632 [diff] |
Add _build/ and api/ to gitignore Signed-off-by: David Horstmann <david.horstmann@arm.com>
diff --git a/docs/.gitignore b/docs/.gitignore index 23f832b..11f197b 100644 --- a/docs/.gitignore +++ b/docs/.gitignore
@@ -1,2 +1,4 @@ *.html *.pdf +_build/ +api/