]> git.vanrenterghem.biz Git - Dotty.git/commit
Use dark theme. Update email settings.
authorFrederik Vanrenterghem <frederik@vanrenterghem.biz>
Mon, 11 Sep 2023 14:23:12 +0000 (22:23 +0800)
committerFrederik Vanrenterghem <frederik@vanrenterghem.biz>
Mon, 11 Sep 2023 14:23:12 +0000 (22:23 +0800)
commite34c555a0236966418f26bd0fd1072255a930529
tree38e4e2dc6119af5df080463b7b5782ea7d7b425d
parent7c78873708b5e939ca947188dd9abe6187d31be5
Use dark theme. Update email settings.
emacs/.emacs