diff options
| author | David Shah <davey1576@gmail.com> | 2018-06-07 13:08:18 +0200 |
|---|---|---|
| committer | David Shah <davey1576@gmail.com> | 2018-06-07 13:08:18 +0200 |
| commit | 6236a1042797be90224461adf23243e0bb16f2fe (patch) | |
| tree | 9af394af6eae8f6d8b0dc9fce83410f545e06d91 /gui/emb.h | |
| parent | 9ebc879826cfcc43b7ed68cf3514a42cb3625177 (diff) | |
| download | nextpnr-6236a1042797be90224461adf23243e0bb16f2fe.tar.gz nextpnr-6236a1042797be90224461adf23243e0bb16f2fe.tar.bz2 nextpnr-6236a1042797be90224461adf23243e0bb16f2fe.zip | |
Fixing file->run renaming
Signed-off-by: David Shah <davey1576@gmail.com>
Diffstat (limited to 'gui/emb.h')
0 files changed, 0 insertions, 0 deletions