diff options
| author | Tom Rini <trini@konsulko.com> | 2018-07-25 11:42:58 -0400 |
|---|---|---|
| committer | Tom Rini <trini@konsulko.com> | 2018-08-03 19:53:54 -0400 |
| commit | 8e0d51f80afaa27e27a90ced2446683f7f58bbbc (patch) | |
| tree | 23566fcf9c402292cfc76ced6ac0b2fc3143dab2 /scripts/.gitignore | |
| parent | fe9805fc7fe757072f8020ad154aa5aae6241afe (diff) | |
| download | u-boot-8e0d51f80afaa27e27a90ced2446683f7f58bbbc.tar.gz | |
docproc: Remove
Now that we have moved to Sphinx documentation we don't need the docproc
app anymore, remove.
Signed-off-by: Tom Rini <trini@konsulko.com>
Diffstat (limited to 'scripts/.gitignore')
| -rw-r--r-- | scripts/.gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/.gitignore b/scripts/.gitignore index 17b903b0f5..08cc824bac 100644 --- a/scripts/.gitignore +++ b/scripts/.gitignore @@ -2,4 +2,3 @@ # Generated files # bin2c -docproc |