diff options
| author | Yoni Rabkin <yoni@rabkins.net> | 2018-11-01 14:19:12 -0400 |
|---|---|---|
| committer | Yoni Rabkin <yoni@rabkins.net> | 2018-11-01 14:19:12 -0400 |
| commit | 56d9ec27dbbe75496e338f6621e196c04472470f (patch) | |
| tree | 09a164912ad55760eb2a96d1153a662aaa31e64f /.gitignore | |
| parent | 47b1054683f4fa0a1ecd9999cb94c5c34994e018 (diff) | |
* Makefile: bump to 5.1
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions