Rehan MALAK 08c28f2513 homogenize the way we kill background processes ... kill_bg : -takes the PID of the process to kill -differentiates the sudo case from the non-sudo case		2018-05-19 20:11:35 +02:00
..
01-test-data-structures.sh	homogenize the way we kill background processes	2018-05-19 20:11:35 +02:00
Makefile	Add data structure library test on platform native	2017-12-13 16:38:50 +00:00