Konicai 632f84fcf8 Merge pull request #2095 ...

* Add floodgate git properties to dump

* Merge remote-tracking branch 'upstream/floodgate-2.0' into floodgate-2.0

* Modify the dump to not break anything

* name changes to floodgate info in dump

* small adjustment to DumpInfo.java

* Merge remote-tracking branch 'upstream/floodgate-2.0' into floodgate-2.0

* remove duplicate import statements

* Update mappings

2021-06-06 16:59:47 +02:00

..

src

Merge pull request #2095

2021-06-06 16:59:47 +02:00

pom.xml

Some small changes

2021-06-06 01:05:05 +02:00