diff options
| author | Martin Pitt <martinpitt@gnome.org> | 2014-01-14 09:27:44 +0100 |
|---|---|---|
| committer | Martin Pitt <martinpitt@gnome.org> | 2014-01-14 09:27:44 +0100 |
| commit | c3686abce1dc897d9b402478312c9c87a69c887f (patch) | |
| tree | 9f440efcd07e7be518dd5598f368c6f3d5335934 /tools/.gitignore | |
| parent | f6bce1a3cfaca39d5992b89b10f90b26a388dbfe (diff) | |
Drop "david" user name from publish make rules
This makes it easier for other people to do releases. Specifying user names
should be done in ~/.ssh/config instead.
Diffstat (limited to 'tools/.gitignore')
0 files changed, 0 insertions, 0 deletions