From: Max Khizhinsky Date: Fri, 3 Apr 2015 06:46:57 +0000 (+0300) Subject: Merge pull request #25 from krinkinmu/header-deps-wip X-Git-Tag: v2.1.0~284^2 X-Git-Url: http://plrg.eecs.uci.edu/git/?p=libcds.git;a=commitdiff_plain;h=dd5e338572a0371e42c373e0ba3557a863602404 Merge pull request #25 from krinkinmu/header-deps-wip Add header file dependencies to build script. --- dd5e338572a0371e42c373e0ba3557a863602404