VariantSync
diff --git a/‎docs/html/AST.html‎ ‎docs/AST.html‎docs/html/AST.html renamed to docs/AST.html b/‎docs/html/AST.html‎ ‎docs/AST.html‎docs/html/AST.html renamed to docs/AST.html
diff --git a/‎docs/html/ASTPrettyPrinter.html‎ ‎docs/ASTPrettyPrinter.html‎docs/html/ASTPrettyPrinter.html renamed to docs/ASTPrettyPrinter.html b/‎docs/html/ASTPrettyPrinter.html‎ ‎docs/ASTPrettyPrinter.html‎docs/html/ASTPrettyPrinter.html renamed to docs/ASTPrettyPrinter.html
diff --git a/‎…s/html/DefaultFeatureTraceRecording.html‎ ‎docs/DefaultFeatureTraceRecording.html‎docs/html/DefaultFeatureTraceRecording.html renamed to docs/DefaultFeatureTraceRecording.html b/‎…s/html/DefaultFeatureTraceRecording.html‎ ‎docs/DefaultFeatureTraceRecording.html‎docs/html/DefaultFeatureTraceRecording.html renamed to docs/DefaultFeatureTraceRecording.html
diff --git a/‎docs/html/Defunctor.html‎ ‎docs/Defunctor.html‎docs/html/Defunctor.html renamed to docs/Defunctor.html b/‎docs/html/Defunctor.html‎ ‎docs/Defunctor.html‎docs/html/Defunctor.html renamed to docs/Defunctor.html
diff --git a/‎docs/html/EditPatterns.html‎ ‎docs/EditPatterns.html‎docs/html/EditPatterns.html renamed to docs/EditPatterns.html b/‎docs/html/EditPatterns.html‎ ‎docs/EditPatterns.html‎docs/html/EditPatterns.html renamed to docs/EditPatterns.html
diff --git a/‎docs/html/Edits.html‎ ‎docs/Edits.html‎docs/html/Edits.html renamed to docs/Edits.html b/‎docs/html/Edits.html‎ ‎docs/Edits.html‎docs/html/Edits.html renamed to docs/Edits.html
diff --git a/‎docs/html/Example.html‎ ‎docs/Example.html‎docs/html/Example.html renamed to docs/Example.html b/‎docs/html/Example.html‎ ‎docs/Example.html‎docs/html/Example.html renamed to docs/Example.html
diff --git a/‎docs/html/Feature.html‎ ‎docs/Feature.html‎docs/html/Feature.html renamed to docs/Feature.html b/‎docs/html/Feature.html‎ ‎docs/Feature.html‎docs/html/Feature.html renamed to docs/Feature.html
diff --git a/‎docs/html/FeatureColour.html‎ ‎docs/FeatureColour.html‎docs/html/FeatureColour.html renamed to docs/FeatureColour.html b/‎docs/html/FeatureColour.html‎ ‎docs/FeatureColour.html‎docs/html/FeatureColour.html renamed to docs/FeatureColour.html
diff --git a/‎docs/html/FeatureTrace.html‎ ‎docs/FeatureTrace.html‎docs/html/FeatureTrace.html renamed to docs/FeatureTrace.html b/‎docs/html/FeatureTrace.html‎ ‎docs/FeatureTrace.html‎docs/html/FeatureTrace.html renamed to docs/FeatureTrace.html