Gábor Stefanik 071f6c2d40 Fix typo in script-generator causing wrong traps in new Bash ... When renaming using_bash to bash_build, I accidentally removed the + sign from the assignment, causing bash_build > 1 to never match, resulting in old-style Ctrl+D traps even in the new Bash. This patch restores the intended += behavior.		2024-01-24 10:29:51 +01:00
..
stage0-posix@a5c382e9ab	Remove the notion of "sys*"	2023-12-15 21:43:19 +11:00
after.kaem	Remove the notion of "sys*"	2023-12-15 21:43:19 +11:00
preseeded.kaem	Linters & CI updates	2023-12-15 21:44:43 +11:00
script-generator.c	Fix typo in script-generator causing wrong traps in new Bash	2024-01-24 10:29:51 +01:00
seed.kaem	Remove the notion of "sys*"	2023-12-15 21:43:19 +11:00