diff options
| author | Diego Biurrun <diego@biurrun.de> | 2012-02-08 13:39:18 +0400 |
|---|---|---|
| committer | Diego Biurrun <diego@biurrun.de> | 2012-02-09 15:26:45 +0400 |
| commit | 0bba26466f9245414928d4d1c99db7b813e5ff43 (patch) | |
| tree | ccc98f8827191d795149887ceb090e182bb519aa /doc/filters.texi | |
| parent | ab9ae401525d301a31ec695bf39103502db6afeb (diff) | |
cosmetics: Delete empty lines at end of file.
Diffstat (limited to 'doc/filters.texi')
| -rw-r--r-- | doc/filters.texi | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/filters.texi b/doc/filters.texi index 16059fd41d..2a089bef84 100644 --- a/doc/filters.texi +++ b/doc/filters.texi @@ -2067,4 +2067,3 @@ mainly useful as a template and to be employed in analysis / debugging tools. @c man end VIDEO SINKS - |