push ~/.selected_editor
authorPeter Palfrader <peter@palfrader.org>
Tue, 18 Oct 2016 19:13:10 +0000 (21:13 +0200)
committerPeter Palfrader <peter@palfrader.org>
Tue, 18 Oct 2016 19:13:10 +0000 (21:13 +0200)
commit8ac2505707be38a54edd27ce1bc1c4e48a8a1fbc
treefe8399d53d848b276cd9071cd91d467ad008f023
parent11156c791adec21b9f4938e7ad49694a1b6d306b
push ~/.selected_editor
modules/debian-org/files/root-dotfiles/selected_editor [new file with mode: 0644]
modules/debian-org/manifests/init.pp