blob: d4f9c2774532489d9ca1177dbd108d159223b814 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
all:
@echo
@echo This defines the primitive widgets
@echo
@echo This is how the gui communicates with the toolkit plugin
@echo The widgets are things like Windows, Buttons, Labels, etc
@echo
redomod:
rm -f go.*
go mod init
go mod tidy
# sync repo to the github backup
# git remote add github [email protected]:wit-go/gui.git
github:
git push origin master
git push origin devel
git push origin --tags
git push github master
git push github devel
git push github --tags
@echo
@echo check https://git.wit.org/gui/widget
@echo check https://github.com/wit-go/widget
@echo
|
