]> git.tuebingen.mpg.de Git - micoforia.git/commitdiff
Merge topic branch t/xexec into pu pu
authorAndre Noll <maan@tuebingen.mpg.de>
Mon, 12 May 2025 13:33:15 +0000 (15:33 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Mon, 12 May 2025 13:33:15 +0000 (15:33 +0200)
Started on 2025-03-22

* refs/heads/t/xexec:
  com_log(): Run less with -r to display control characters.
  com_enter(): Avoid hang if container is shut down.
  Simplify xexec().

1  2 
micoforia.c
util.c

diff --cc micoforia.c
Simple merge
diff --cc util.c
Simple merge