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:


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
Note: See TracTickets for help on using tickets.