{"pages":[{"page_name":"Setting-up-a-VDM-Development-Environment","title":"Setting up a VDM Development Environment","summary":null,"action":"edited","sha":"65f894b72850ce7f4ac07a1e48b6901b8a75c9ed","html_url":"/vistadataproject/VDM/wiki/Setting-up-a-VDM-Development-Environment"}]}
{"actor":{"display_login":"sbruno81"}}