Tom Willemse 65c5ef5c7f Add ssh-agent configuration ... gpg-agent wasn't working when trying to set up an ssh-agent, so use regular ssh-agent instead.		2024-04-07 00:18:21 -07:00
..
home	Add ssh-agent configuration	2024-04-07 00:18:21 -07:00
packages	Remove custom company package	2024-04-07 00:16:15 -07:00
gexp.scm	Replace all ‘lambda’ occurrences with ‘λ’	2023-06-20 23:06:25 -07:00
kbd.scm	Replace all ‘lambda’ occurrences with ‘λ’	2023-06-20 23:06:25 -07:00