diff options
author | Wim Taymans <wtaymans@redhat.com> | 2015-06-30 18:06:36 +0200 |
---|---|---|
committer | Wim Taymans <wtaymans@redhat.com> | 2015-06-30 18:06:36 +0200 |
commit | 4b72848a1a4a2e1687f734e97fb8c07d897fd65f (patch) | |
tree | af662c35eb688c05600e5cb88326efd12a86c4cd /doc | |
parent | b68b62740c50acc06f4ce640c1ebaaee0b166b71 (diff) |
Rename pulsevideo to pinos
Diffstat (limited to 'doc')
-rw-r--r-- | doc/.gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index e1d0f048..2fcf77a7 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1 +1 @@ -org-pulsevideo-*.xml +org-pinos-*.xml |