Ticket #916 (closed enhancement: duplicate)

Opened 3 years ago

Last modified 3 years ago

Port new vdm to Mongodb

Reported by: pudo Owned by: rgrp
Priority: awaiting triage Milestone: vdm-0.8
Component: vdm Keywords:
Cc: rgrp Repository:
Theme:

Description

We should create a port of VDM 0.9 for MongoDB to support user editing in WDMMG.

Change History

comment:1 Changed 3 years ago by rgrp

  • Status changed from new to closed
  • Resolution set to duplicate

Moved to ​https://bitbucket.org/okfn/vdm/issue/4/port-new-vdm-to-mongodb

Note: See TracTickets for help on using tickets.