PR #661 purge_olean.sh: a few small improvements

purge_olean.sh: a few small improvements #661

cipher1024 merged 10 commits into master from improve-purge

chore(purge_olean.sh): purge empty directories

0c379270

chore(purge_olean.sh): add comment, reduce echos

52c519bd

chore(purge_olean.sh): use git top-level dir to make the script reloc…

7b54e9c4

spl requested a review from

cipher1024 7 years ago

rwbarton commented on 2019-01-31

Merge branch 'master' into improve-purge

c915a3fc

chore(purge_olean.sh): only affect src and test dirs

360e8e22

johoelzl commented on 2019-02-01

chore(purge_olean.sh): use bash instead of sed

de65ffbc

cipher1024 assigned

rwbarton 7 years ago

cipher1024 assigned

cipher1024 7 years ago

cipher1024 approved these changes on 2019-02-01

Merge branch 'master' into improve-purge

a1fe1842

Merge branch 'master' into improve-purge

1563ba4c

Merge branch 'master' into improve-purge

b5006025

Merge branch 'master' into improve-purge

61220ea5

cipher1024 merged 3109c4b3 into master 7 years ago

cipher1024 deleted the improve-purge branch 7 years ago

Reviewers

cipher1024

johoelzl

rwbarton

Assignees

rwbarton

cipher1024

Labels

None yet

Milestone

No milestone