diff options
author | Petter Rodhelind <petter.rodhelind@gmail.com> | 2017-09-28 11:20:22 +0200 |
---|---|---|
committer | Petter Rodhelind <petter.rodhelind@gmail.com> | 2017-09-28 11:20:22 +0200 |
commit | ed9342b2a15fcb98a5e1641b291b9d51f00538e8 (patch) | |
tree | fae6678eac643e3b220ac1cf5529a81f780fe475 /bin/venti | |
parent | 3792be8ab8fe8253fa4758a646963eb7fb95b390 (diff) | |
parent | 3f8ac29339ad67f05d32064fcc810035d55a3985 (diff) | |
download | plan9port-ed9342b2a15fcb98a5e1641b291b9d51f00538e8.tar.gz plan9port-ed9342b2a15fcb98a5e1641b291b9d51f00538e8.tar.bz2 plan9port-ed9342b2a15fcb98a5e1641b291b9d51f00538e8.zip |
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'bin/venti')
-rw-r--r-- | bin/venti/.cvsignore | 21 | ||||
-rw-r--r-- | bin/venti/.gitkeep | 0 |
2 files changed, 0 insertions, 21 deletions
diff --git a/bin/venti/.cvsignore b/bin/venti/.cvsignore deleted file mode 100644 index 086c335c..00000000 --- a/bin/venti/.cvsignore +++ /dev/null @@ -1,21 +0,0 @@ -buildindex -checkarenas -checkindex -clumpstats -copy -findscore -fixarenas -fmtarenas -fmtbloom -fmtindex -fmtisect -mirrorarenas -printarena -rdarena -read -sync -syncindex -venti -verifyarena -wrarena -write diff --git a/bin/venti/.gitkeep b/bin/venti/.gitkeep new file mode 100644 index 00000000..e69de29b --- /dev/null +++ b/bin/venti/.gitkeep |