Parthiv Seetharaman 87f1d7da18 bud: move to shell and use git clone for get		2021-12-29 15:41:58 -08:00
..
default.nix	bud: move to shell and use git clone for get	2021-12-29 15:41:58 -08:00
get.bash	bud: move to shell and use git clone for get	2021-12-29 15:41:58 -08:00