From: Max Khizhinsky Date: Wed, 23 Aug 2017 18:11:47 +0000 (+0300) Subject: Merge pull request #86 from mgalimullin/try_add_travis-ci_v3 X-Git-Tag: v2.3.1~7 X-Git-Url: http://plrg.eecs.uci.edu/git/?p=libcds.git;a=commitdiff_plain;h=5be1cc5b27a15cafd071592653a466c54797c435 Merge pull request #86 from mgalimullin/try_add_travis-ci_v3 add travis-ci --- 5be1cc5b27a15cafd071592653a466c54797c435