build does not need suffix .sh

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
remotes/origin/feature_files_export
Nico Schottelius 13 years ago
parent 516b172d75
commit 1db1a3f6a7
  1. 0
      build
Loading…
Cancel
Save