diff options
author | Patrick Georgi <pgeorgi@google.com> | 2020-10-28 11:30:54 +0100 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2020-10-30 07:05:27 +0000 |
commit | 6065f616ebf4c11ed2c5ad01f8f41d5ba49c272d (patch) | |
tree | e284d6b06b3655189d35f391c71a7a03e4665f80 /Documentation/.gitignore | |
parent | 33b0f15434a40527e1e5278a63e91465ef4c7617 (diff) |
.gitignore: Split into subdirectory files
There's no need for the global list of files to ignore, so use git's
ability to work with more local configuration.
Change-Id: I50882e6756cbc0fdfd899353cc23962544690fb3
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/46879
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Reviewed-by: Felix Held <felix-coreboot@felixheld.de>
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Reviewed-by: Christian Walter <christian.walter@9elements.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'Documentation/.gitignore')
-rw-r--r-- | Documentation/.gitignore | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Documentation/.gitignore b/Documentation/.gitignore new file mode 100644 index 0000000000..a8f5d5f6fa --- /dev/null +++ b/Documentation/.gitignore @@ -0,0 +1,7 @@ +*.aux +*.idx +*.log +*.toc +*.out +*.pdf +_build |