diff options
| author | Tristan Gingold <tgingold@free.fr> | 2017-10-05 20:41:02 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2017-10-05 20:41:02 +0200 |
| commit | dad47583a6781fcfb3fdba82c36892331fc4bffd (patch) | |
| tree | 27c9ca4c114b0d58a0631755aa1d3ec21178881b /.gitignore | |
| parent | 640a548573d4c45bfdcdc464dbfa1a5ae64215b6 (diff) | |
| download | ghdl-dad47583a6781fcfb3fdba82c36892331fc4bffd.tar.gz ghdl-dad47583a6781fcfb3fdba82c36892331fc4bffd.tar.bz2 ghdl-dad47583a6781fcfb3fdba82c36892331fc4bffd.zip | |
Remove check_refs.py (should be a different project).
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions