diff options
| author | Giovanni | 2020-07-21 11:58:22 +0200 |
|---|---|---|
| committer | GitHub | 2020-07-21 11:58:22 +0200 |
| commit | b90e0ecc6b0717786ae72236c37157f1b5983521 (patch) | |
| tree | 8b9bdb4aaa8ba6bfdf1baef09df88afa64c8a4f6 /Makefile | |
| parent | 043d9897b4d6879f9a91dbd0ccdb476649731f7c (diff) | |
Fix #338 - added log type if type is simulation, drop or log. (#339)
Co-authored-by: Giovanni Dante Grazioli <giovanni.dantegrazioli@nbs-system.com>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions