Develop - #185

Merged

ptr727 merged 22 commits into

mainfrom

Jun 22, 2023

Commits on Jun 21, 2023

Merge pull request #177 from ptr727/main
ptr727
authored
bcf6740
Update generated README.md

ptr727
authored and
github-actions[bot]
committed
0aac0bc
Add Ctrl+Q and Ctrl+Z to signal terminate
ptr727
committed
6ab8c21
Merge pull request #178 from ptr727/keyboard-quit
ptr727
authored
a1a2d50
Test if there is an interactive console
ptr727
committed
dda37b0
Merge pull request #179 from ptr727/keyboard-quit
ptr727
authored
ceb92eb
Test for input console redirection
ptr727
committed
475aaa6
Merge pull request #180 from ptr727/keyboard-quit
ptr727
authored
1717ddd
Update generated README.md

ptr727
authored and
github-actions[bot]
committed
f6e111f
Version line only
ptr727
committed
c618b6c
Merge pull request #181 from ptr727/keyboard-quit
ptr727
authored
12205f8
Update generated README.md

ptr727
authored and
github-actions[bot]
committed
fba2988
Include debug or release
ptr727
committed
3e97a00
Merge pull request #182 from ptr727/keyboard-quit
ptr727
authored
6bd0887
Update generated README.md

ptr727
authored and
github-actions[bot]
committed
d96899f
env usage as literal string
ptr727
committed
47f7c8d
Merge pull request #183 from ptr727/keyboard-quit
ptr727
authored
286eaeb
More env goodness
ptr727
committed
6c169f0
Merge pull request #184 from ptr727/keyboard-quit
ptr727
authored
a2d6a89
Update generated README.md

ptr727
authored and
github-actions[bot]
committed
498d792
Merge branch 'main' into develop
ptr727
authored
4cfa1e4

Commits on Jun 22, 2023

Update generated README.md

ptr727
authored and
github-actions[bot]
committed
c3087a2