[oclgrind] 03/04: Renamed debian/docs to debian/oclgrind.docs.

[James Price]

This is an automated email from the git hooks/post-receive script.

jprice-guest pushed a commit to branch master
in repository oclgrind.

commit 77a7df556d8fddd59b87ec3edf03d685771555a8
Author: James Price <j.price at bristol.ac.uk>
Date:   Tue Sep 8 17:48:31 2015 +0100

    Renamed debian/docs to debian/oclgrind.docs.
---
 debian/{docs => oclgrind.docs} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)

diff --git a/debian/docs b/debian/oclgrind.docs
similarity index 100%
rename from debian/docs
rename to debian/oclgrind.docs

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-opencl/oclgrind.git