[asl] 33/177: Merge branch 'master'

[Ghislain Vaillant]

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

ghisvail-guest pushed a commit to branch master
in repository asl.

commit 813eeca500fd697a84f4992666f7950ca98333e0
Merge: 073dfcc d6c8ffb
Author: Avtech Scientific <AvtechScientific at users.noreply.github.com>
Date:   Mon Jun 15 13:22:14 2015 +0300

    Merge branch 'master'

 CMakeLists.txt              |  8 ++------
 DefineFunctions.cmake       |  8 ++++----
 DefineOptions.cmake         |  5 ++---
 doc/CMakeLists.txt          | 11 +++++++++++
 test/testACL/CMakeLists.txt |  8 +++++---
 5 files changed, 24 insertions(+), 16 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/asl.git