switched #! line from zsh to sh
authorPaul Hänsch <paul@plutz.net>
Fri, 22 Jan 2021 23:41:47 +0000 (00:41 +0100)
committerPaul Hänsch <paul@plutz.net>
Fri, 22 Jan 2021 23:41:47 +0000 (00:41 +0100)
commit85ff3b292b0775165a0b889b3714151f135bf84c
treebad70f9259582913577df0a3fdeb831105bfc03c
parent7ba2fd0aec54c6c98c192dc7795fbda6c398d806
switched #! line from zsh to sh
cards/edit_card.sh
cards/export_card.sh
cards/filter_card.sh
cards/new_card.sh
cards/update_card.sh
courses/edit_course.sh
courses/new_course.sh
courses/update_course.sh