diff options
| author | Jakob Odersky <jakob@odersky.com> | 2018-10-20 17:32:40 -0700 |
|---|---|---|
| committer | Jakob Odersky <jakob@odersky.com> | 2018-10-20 17:32:40 -0700 |
| commit | 394e3dce3313efcc70eb910aa9ba142de92fc291 (patch) | |
| tree | 54e58eb7e923469fe1151699da088d74c9acacc9 /home/.gitconfig_driver | |
| parent | 0123bf08f118dac601fd3b6c3e8a532cc9c76dd2 (diff) | |
| download | dotfiles-394e3dce3313efcc70eb910aa9ba142de92fc291.tar.gz dotfiles-394e3dce3313efcc70eb910aa9ba142de92fc291.tar.bz2 dotfiles-394e3dce3313efcc70eb910aa9ba142de92fc291.zip | |
Add script to launch gnome-settings from non-gnome desktop environment
Diffstat (limited to 'home/.gitconfig_driver')
0 files changed, 0 insertions, 0 deletions