diff options
author | Paul Selkirk <paul@psgd.org> | 2019-01-14 17:39:47 -0500 |
---|---|---|
committer | Paul Selkirk <paul@psgd.org> | 2019-01-14 17:39:47 -0500 |
commit | e28feca18b92d4e532498dbebddfc8d24c7f2760 (patch) | |
tree | 7f7b0ce1525d25c79111616982eb06a5fddc90d6 /build/.gitignore | |
parent | c79beb5f67cfc9225c16b93f5edb8c59fdd0d087 (diff) |
Add include directives for Pavel's .vh files.
Diffstat (limited to 'build/.gitignore')
0 files changed, 0 insertions, 0 deletions