diff options
| author | Bladen Martin | 2020-06-08 21:59:57 +0530 |
|---|---|---|
| committer | GitHub | 2020-06-08 21:59:57 +0530 |
| commit | 5a693f43f8deaacad72fc4cbfa391e1a13f09fa1 (patch) | |
| tree | ac3f90f0eec78cb0c232874654d9dbeb263ac0d7 /src/ghdlserver | |
| parent | eb1f6005f327932652a84f01e298395ced7a3687 (diff) | |
| download | nghdl-5a693f43f8deaacad72fc4cbfa391e1a13f09fa1.tar.gz nghdl-5a693f43f8deaacad72fc4cbfa391e1a13f09fa1.tar.bz2 nghdl-5a693f43f8deaacad72fc4cbfa391e1a13f09fa1.zip | |
patch for closing server, in Windows and Linux
Diffstat (limited to 'src/ghdlserver')
0 files changed, 0 insertions, 0 deletions