diff options
| author | Dario Binacchi | 2019-12-31 18:18:22 +0100 |
|---|---|---|
| committer | Tom Rini | 2020-01-22 17:47:57 -0500 |
| commit | 6124667cd8e644fea2ce2b75b77b83c8207bd3e7 (patch) | |
| tree | 09df12dc82108b4fa0d3fba5d91c0a995a2fe699 | |
| parent | 602ce1d10695d37f9a72b9cd23500b87050db588 (diff) | |
lib: ignore oid_registry_data.c file
The file is generated by scripts/build_OID_registry based on the
include/linux/oid_registry.h file.
Signed-off-by: Dario Binacchi <dariobin@libero.it>
| -rw-r--r-- | lib/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/.gitignore b/lib/.gitignore new file mode 100644 index 00000000000..72ff0e993b1 --- /dev/null +++ b/lib/.gitignore @@ -0,0 +1 @@ +oid_registry_data.c |