diff options
| author | rsiddharth <rsd@gnu.org> | 2020-07-09 22:32:01 -0400 |
|---|---|---|
| committer | rsiddharth <rsd@gnu.org> | 2020-07-09 22:32:01 -0400 |
| commit | 96ae45e767c123044bc43d9f84d045547171ba91 (patch) | |
| tree | f49d5109ad14addadf514750a44ddd1a22961fb3 /.gitignore | |
| parent | a7671d65777ae4893a1e3611e2d9a923dc84c57a (diff) | |
Makefile: dev-env -> dev
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions