/
drwxr-xr-x debian
-rw-r--r-- 2017-08-04 15:29 +0200 68 .hgignore
-rw-r--r-- 2017-08-04 15:29 +0200 280 .hgsigs
-rw-r--r-- 2017-08-04 15:29 +0200 54 .hgtags
-rw-r--r-- 2017-08-04 15:29 +0200 558 Makefile
-rw-r--r-- 2017-08-04 15:29 +0200 187 TODO
-rw-r--r-- 2017-08-04 15:29 +0200 1049 exclude.ex
-rwxr-xr-x 2017-08-04 15:29 +0200 2387 ha-config
-rwxr-xr-x 2017-08-04 15:29 +0200 469 ha-diff
-rwxr-xr-x 2017-08-04 15:29 +0200 1458 ha-hostname
-rwxr-xr-x 2017-08-04 15:29 +0200 2110 ha-sync
-rw-r--r-- 2017-08-04 15:29 +0200 268 ha-sync.conf.ex