 Daniele Bartolini
|
2865ccb98f
tools: editor spawns launcher which monitors parent
|
há 8 meses atrás |
|
Daniele Bartolini
|
2e63317f8d
tools: fix formatting
|
há 1 ano atrás |
|
Daniele Bartolini
|
c32148be08
*: update copyright year
|
há 1 ano atrás |
|
Daniele Bartolini
|
d046520050
*: fix typos
|
há 1 ano atrás |
|
Daniele Bartolini
|
a2062b8826
tools: avoid nested lambdas
|
há 1 ano atrás |
|
Daniele Bartolini
|
4f7442e46f
tools: fix process ID removal
|
há 2 anos atrás |
|
Daniele Bartolini
|
ab5575ecb3
*: update copyright year
|
há 2 anos atrás |
|
Daniele Bartolini
|
04d3f23ed2
*: update copyright year and license
|
há 3 anos atrás |
|
Daniele Bartolini
|
ce798a6d1e
tools: linux: enable signal handlers
|
há 3 anos atrás |
|
Daniele Bartolini
|
e4cab84b7c
tools: spawn subprocesses via SubprocessLauncher DBus service
|
há 3 anos atrás |
