Skip to content
This repository has been archived by the owner on Jun 26, 2020. It is now read-only.

Loosened integration with the heading feature #30

Merged
merged 1 commit into from
Jun 8, 2017
Merged

Loosened integration with the heading feature #30

merged 1 commit into from
Jun 8, 2017

Commits on Jun 8, 2017

  1. Loosened integration with the heading feature.

    @Reinmar
    Reinmar committed Jun 8, 2017
    Configuration menu
    Copy the full SHA
    62d53aa View commit details
    Browse the repository at this point in the history