diff options
| author | tv <tv@shackspace.de> | 2015-05-19 22:02:19 +0200 |
|---|---|---|
| committer | tv <tv@shackspace.de> | 2015-05-19 23:17:20 +0200 |
| commit | 5b4567d75d5c5ee12f35e563dacec303c918ce3d (patch) | |
| tree | b2155935ab4f3a136bb6dfdabb54bca79a6a7d00 /.gitignore | |
| parent | eadedf334c293660f08ab89d1474e2ce8cfd13b8 (diff) | |
prelude: consistently use "src" as remote name
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions