diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2018-08-02 08:24:49 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-02 08:24:49 -0700 |
| commit | e46209e734427d6b7ed7b05930c1e4a666de7082 (patch) | |
| tree | fffab82965d78d43880b2800f5bd3d76a0a4033f /gui/resources | |
| parent | 775dba2bee48e2809dad980cc80f8d912bbf3380 (diff) | |
| parent | 869a804ee13ef9ef91d87ab9c85ea602a88cc082 (diff) | |
| download | nextpnr-e46209e734427d6b7ed7b05930c1e4a666de7082.tar.gz nextpnr-e46209e734427d6b7ed7b05930c1e4a666de7082.tar.bz2 nextpnr-e46209e734427d6b7ed7b05930c1e4a666de7082.zip | |
Merge pull request #11 from mmicko/project_load
preserve command line parameters for project load
Diffstat (limited to 'gui/resources')
0 files changed, 0 insertions, 0 deletions