[incquery-dev] Generated code removed from master incquery repository

[Ujhelyi Zoltán <ujhelyiz@xxxxxxxxxx>]

Hi all,

I have updated the IncQuery builds, as a result the git repository does not include the generated code from the recipe and the testing.queries projects. In the future, there should be no more conflicts with these projects; however, for the next pull/merge/rebase there might be some conflict (as from the repository the generated code was removed, while in local version it was updated).

Cheers,
Zoli
-- Zoltán Ujhelyi
https://www.inf.mit.bme.hu/en/members/ujhelyiz

Fault Tolerant Systems Research Group
Budapest University of Technology and Economics