Skip to content
This repository has been archived by the owner on Nov 15, 2022. It is now read-only.

Minor edit #419

Merged
merged 1 commit into from
Nov 2, 2017
Merged

Minor edit #419

merged 1 commit into from
Nov 2, 2017

Conversation

cdrage
Copy link
Collaborator

@cdrage cdrage commented Nov 2, 2017

Minor edit in order to trigger a re-build of documentation as well as
remove the uneeded sentence.

Minor edit in order to trigger a re-build of documentation as well as
remove the uneeded sentence.
@cdrage cdrage merged commit cf0cb15 into kedgeproject:master Nov 2, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant