[Desktop/Developer] Add dev documentation and git-cola

Funny thing: git-cola was used to write this very commit
This commit is contained in:
Antoine Viallon 2022-06-09 01:07:44 +02:00
parent 33cc176dd4
commit 2e90412db2
Signed by: aviallon
GPG key ID: 186FC35EDEB25716

View file

@ -15,9 +15,14 @@ in {
sqlite sqlite
hwloc hwloc
bind bind
git-cola
# adbfs-rootless # adbfs-rootless
]; ];
documentation = {
dev.enable = true;
};
aviallon.programs.allowUnfreeList = [ aviallon.programs.allowUnfreeList = [
"tabnine" "tabnine"
]; ];