diff options
Diffstat (limited to 'repositories.manifest')
-rw-r--r-- | repositories.manifest | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/repositories.manifest b/repositories.manifest new file mode 100644 index 0000000..c788e9b --- /dev/null +++ b/repositories.manifest @@ -0,0 +1,6 @@ +: 1 +summary: Boost ODB profile library repository + +: +role: prerequisite +location: ../libodb.git##HEAD |