tweag/asterius
1
1
Fork 0
mirror of https://github.com/tweag/asterius.git synced 2024-10-05 13:17:19 +03:00
Code Issues Projects Releases Wiki Activity

placate mdbook (#887)

Browse Source
This commit is contained in:
Norman Ramsey 2022-01-12 10:20:04 -05:00 committed by GitHub
parent d2349b4910
commit 5c2f89526e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
docs/src/SUMMARY.md
View File

@ -23,3 +23,4 @@
- [Roadmap](roadmap.md)
- [January 2022 milestones](milestones-2022-01.md)
- [Draft concurrency semantics](semantics.md)
- [Dirty laundry](scheduler.md)