diff options
| author | fpi | 2020-09-21 09:42:05 +0200 |
|---|---|---|
| committer | fpi | 2020-09-27 12:22:55 +0200 |
| commit | d511e2d575505d8513ce70c646108a4616951fa0 (patch) | |
| tree | 0eb040eb9c5b17dce6253c2120dc78d1e77aec55 /.gitignore | |
| parent | Add make target for dev+ branch (diff) | |
Add update target to combine pull and dev
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions