# git remote add github git@github.com:wit-go/gui-debugger.git

all:
	@echo a 'gui' debugger using the gui

redomod:
	rm -f go.*
	go mod init
	go mod tidy

github:
	git push -u github master
	git push -u github devel
	git push github --tags