Aug. 17, 2017
8:39 a.m.
On 17 Aug 2017, at 10:35, Guillermo Polito <guillermopolito@gmail.com> wrote:
Just a thought out of thin air: wasn't filetree supposed to provide common ground for this kind of scenarios? If we shared a single repository in github that would save us a lot of discussion :P
it doesnât :) while exporting VM-Glorp to github will simplify a lot the process, truth is dialects are so different they cannot talk each other in general, and changes needs to be applied (by hand). but⦠having a github mirror to be able to diff properly is a good thing. Esteban