GitHub - webgravel/gravel: Scripts to setup repo structure and help development · GitHub

Repository navigation

gravel

Public

About

Scripts to setup repo structure and help development

Custom properties

0 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
.gitignore		.gitignore
begin.sh		begin.sh
colors.sh		colors.sh
common.sh		common.sh
install.sh		install.sh
launcher.sh		launcher.sh
makepkg.sh		makepkg.sh
repos.list		repos.list
status.sh		status.sh
sync.sh		sync.sh
update.sh		update.sh
updaterepo.sh		updaterepo.sh

About

Scripts to setup repo structure and help development

Custom properties

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages