diff options
| author | Boud Roukema <boud@cosmo.torun.pl> | 2020-04-19 17:22:59 +0200 |
|---|---|---|
| committer | Boud Roukema <boud@cosmo.torun.pl> | 2020-04-19 17:22:59 +0200 |
| commit | e8f5b6aed32fc7cf41c00216d0f18ef6c8e3a4d6 (patch) | |
| tree | 6b962ec25b76d7231c1c335148a0e52ab6da2f4c /.gitignore | |
| parent | 4e9e145afe79faac1cca38e86d5d7ffecdc1c91f (diff) | |
Principles - P4 verifiable inputs and outputs
One superfluous word was removed.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions