summaryrefslogtreecommitdiff
path: root/.topdeps
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2016-08-21 01:58:38 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2016-08-21 01:58:38 +0200
commita23fcce26c1ef5fbc5c9f435279c0b2e4cb0df34 (patch)
tree8a64426cd9bffec1476009d9379aae1a3aa134b5 /.topdeps
parent3d863c924e6fb44baed188011e250c0ef250f6fc (diff)
New TopGit dependency: cvs/check-local-headers
Diffstat (limited to '.topdeps')
-rw-r--r--.topdeps1
1 files changed, 1 insertions, 0 deletions
diff --git a/.topdeps b/.topdeps
index b656d6319a..8e095d8f51 100644
--- a/.topdeps
+++ b/.topdeps
@@ -93,3 +93,4 @@ cvs/libpthread.so
cvs/O_DIRECTORY
cvs/raise-longjump
cvs/cache-mach_host_self
+cvs/check-local-headers