diff options
| author | Linus Nordberg <linus@nordberg.se> | 2021-10-10 20:00:32 +0200 |
|---|---|---|
| committer | Rasmus Dahlberg <rasmus.dahlberg@kau.se> | 2021-10-10 20:07:45 +0200 |
| commit | 348c58a567f18b111ca41653bf550cc64b15443b (patch) | |
| tree | f11ea0179e5207a402da7c10a4ed9e9e73d84922 /archive/2021-10-19-paper-planning | |
| parent | 007af9352862521b3c37c70f1787d2c901080f0c (diff) | |
fixed small/medium issues and left some comments
- Deleted unnecessary roadmap
- Clarified distribution and verification section
- Proposed down-to-the-point text for domain hint description
- Left comments that we should consider addressing
- A bunch of minor edits
For transparency this commit was squashed and rebased by rgdd.
Diffstat (limited to 'archive/2021-10-19-paper-planning')
0 files changed, 0 insertions, 0 deletions