diff options
| author | Jakob Odersky <jakob@odersky.com> | 2018-12-26 10:23:19 +0100 |
|---|---|---|
| committer | Jakob Odersky <jakob@odersky.com> | 2018-12-26 10:23:19 +0100 |
| commit | 5f4a3a83349835af3f0b8515d10f1bdae4b789d3 (patch) | |
| tree | f726dc63ffac4cf8202077dcde84345ac18647b5 /home/.gitconfig | |
| parent | 9d62acd01a6b09dda6cb810f0f9b89e34dfeb94b (diff) | |
| download | dotfiles-5f4a3a83349835af3f0b8515d10f1bdae4b789d3.tar.gz dotfiles-5f4a3a83349835af3f0b8515d10f1bdae4b789d3.tar.bz2 dotfiles-5f4a3a83349835af3f0b8515d10f1bdae4b789d3.zip | |
Improve reporting in updatedots script
Diffstat (limited to 'home/.gitconfig')
0 files changed, 0 insertions, 0 deletions