Include tlaternet as a derivation that builds the source instead of a submodule #10

Closed
opened 2020-07-27 17:40:30 +01:00 by tlater · 1 comment
Owner

The title should say it all, currently tlaternet is included as a git submodule, which works, but it would be nicer to separate the projects entirely.

The title should say it all, currently `tlaternet` is included as a git submodule, which works, but it would be nicer to separate the projects entirely.
Author
Owner

Resolved in #26.

Resolved in #26.
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: tlaternet/tlaternet-server#10
No description provided.