Remove helper files

This commit is contained in:
Philip Henning 2022-09-30 14:37:48 +02:00
parent f5edca9876
commit af30dbe0c4
5 changed files with 3 additions and 11 deletions

View file

@ -120,12 +120,6 @@ dotfiles:
f_rpki:
dst: ~/.bin/rpki
src: bin/rpki
f_pu_helper:
dst: ~/.bin/pu.inetloc
src: bin/pu.inetloc
f_rpki_helper:
dst: ~/.bin/rpki.inetloc
src: bin/rpki.inetloc
profiles:
AINCRAD:
dotfiles:
@ -281,6 +275,4 @@ profiles:
- f_zprofile
- f_dotdrop.sh
- f_pu
- f_rpki
- f_pu_helper
- f_rpki_helper
- f_rpki