Skip to content
Pro
Block or report user

Report or block dettmering

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
Block or report user

Report or block dettmering

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Pinned

  1. Image analysis pipeline for an adhesion assay

    C++ 1 1

  2. Docker image for building gohugo.io site

    Dockerfile 6 8

  3. Docker image for building LaTeX documents in a CI environment

    Dockerfile

34 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri

Contribution activity

August - December 2019

dettmering has no activity yet for this period.

July 2019

Created an issue in jgraph/drawio-desktop that received 2 comments

Allow export to HTML from command line

It would be great to have the possibility to export to HTML (and XML) through the command-line. I successfully managed to export PDF and PNG, but m…

2 comments

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.