jedi b10103377d update ignore files		2022-07-04 21:05:22 +02:00
..
nix@403461c810	add build environment files for nixpkgs	2021-07-14 23:31:51 +02:00
rtos@b56c7c8f8f	update ignore files	2022-07-04 21:05:22 +02:00
sdk@c70543e57f	add sdk submodule	2021-06-19 16:38:25 +02:00