diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2019-06-12 18:34:34 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2019-06-12 18:34:34 +0200 |
| commit | 856760599e51bd4c6da34112c993dc8bfb995f36 (patch) | |
| tree | 02ea7d93a960eb5d177b7a9301693710b6724884 /gui | |
| parent | d9b0bac248a12466cd2b62d02ec11b2e60d25019 (diff) | |
| download | nextpnr-856760599e51bd4c6da34112c993dc8bfb995f36.tar.gz nextpnr-856760599e51bd4c6da34112c993dc8bfb995f36.tar.bz2 nextpnr-856760599e51bd4c6da34112c993dc8bfb995f36.zip | |
Use properties for settings and save in json
Diffstat (limited to 'gui')
0 files changed, 0 insertions, 0 deletions