Goodbye push

This commit is contained in:
Viktor Dukhovni
2016-11-14 14:19:58 -05:00
parent b77e701a22
commit bb507cd4d4
14 changed files with 1 additions and 1362 deletions

View File

@@ -16,7 +16,6 @@ SUBDIRS = \
dbutils \
$(dir_otp) \
gssmask \
push \
su \
test \
kf \