diff options
author | Rutger Broekhoff | 2024-06-27 11:55:37 +0200 |
---|---|---|
committer | Rutger Broekhoff | 2024-06-27 11:55:37 +0200 |
commit | ff82f7c63616e96bdf8a4268212f8094fa69748d (patch) | |
tree | 4779da978a36762112d64a65b74ebac07b1c3bae /LICENSE | |
parent | 5aef9a66966c8aa97041461d618b601e60e56c91 (diff) | |
download | mininix-formalization-ff82f7c63616e96bdf8a4268212f8094fa69748d.tar.gz mininix-formalization-ff82f7c63616e96bdf8a4268212f8094fa69748d.zip |
Update README
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions