 Leo
|
22c9829f86
Ignore ctags generated file
|
9 years ago |
|
Leo
|
2fc206f301
Increase diversity in dev.json rc file
|
9 years ago |
|
Leo
|
d1c8f431f8
Clean up code
|
9 years ago |
|
Leo
|
6ed939ea36
Allow run subcommand to take multiple ids
|
9 years ago |
|
Leo
|
1fc43c517a
Allow to pass multiple arguments to pkg.sh script
|
9 years ago |
|
Leo
|
f8799b6d0f
Correct typo in tips
|
9 years ago |
|
Leo
|
29aa9857ea
Change my contact address
|
9 years ago |
|
Leo
|
0eb539e3b5
Improve command-line documentation
|
9 years ago |
|
Leo
|
035eb0296b
Further improve welcome message
|
9 years ago |
|
Leo
|
77ea928a53
Merge different sort of welcome messages
|
9 years ago |
|
Leo
|
dc54417e23
Update CHANGELOG
|
9 years ago |
|
Leo
|
67ba96526e
More readable this way
|
9 years ago |
|
Leo
|
3226d00701
More accurate representation of the state of OcLaunch
|
9 years ago |
|
Leo
|
cfc8b0a884
Switch some project url to https
|
9 years ago |
|
Leo
|
1ddf959c65
Improve help subcommand
|
9 years ago |
|
Leo
|
d5111fc776
Add links to get targeted help
|
9 years ago |
|
Leo
|
c6a9dcf4fb
Fix indentation using fix-indent.ml
|
9 years ago |
|
Leo
|
dbbaf243d9
Merge branch 'dev' of gitlab.com:WzukW/oclaunch into dev
|
9 years ago |
|
Leo
|
1dd18a8abb
pkg.sh: Verifiy archives after creation
|
9 years ago |
|
Leo
|
4f66d78ac2
Make pkg.sh script faster
|
9 years ago |
|
Leo
|
1707c715a8
Improve pkg.sh script
|
9 years ago |
|
Leo
|
064d301001
Update CHANGELOG
|
9 years ago |
|
Leo
|
0a966e0e0e
Add '--yes' option
|
9 years ago |
|
Leo
|
d61c6d4bff
Improve comment
|
9 years ago |
|
Leo
|
048c40d638
Add confirmation when deleting commands
|
9 years ago |
|
Leo
|
e202b54787
Merge branch 'dev' of gitlab.com:WzukW/oclaunch into dev
|
9 years ago |
|
Leo
|
9fa3fb5e4f
Update TODO file
|
9 years ago |
|
Leo
|
148a230ac2
Improve indentation consistency
|
9 years ago |
|
Leo
|
be6f94941d
Add test case for the environment
|
9 years ago |
|
Leo
|
50ee4f4139
Fix problem with debugging of (lazy) rc_file
|
9 years ago |
