gazagnaire.org / borealis
DTN controller and policy language for satellite networks
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

borealis: Fix tangled URL to gazagnaire.org

Thomas Gazagnaire d658b3a9 ff9a721f

+2 -2
+1 -1
borealis.opam
··· 43 43 "@doc" {with-doc} 44 44 ] 45 45 ] 46 - dev-repo: "https://tangled.org/samoht.github.com/borealis" 46 + dev-repo: "https://tangled.org/gazagnaire.org/borealis"
+1 -1
dune-project
··· 9 9 (maintainers "Thomas Gazagnaire <thomas@gazagnaire.org>") 10 10 11 11 (source 12 - (uri https://tangled.org/samoht.github.com/borealis)) 12 + (uri https://tangled.org/gazagnaire.org/borealis)) 13 13 14 14 (package 15 15 (name borealis)