Skip to content
This repository has been archived by the owner on Sep 20, 2024. It is now read-only.

Avoid dot in repre extension #1125

Merged
merged 2 commits into from
Mar 12, 2021
Merged

Avoid dot in repre extension #1125

merged 2 commits into from
Mar 12, 2021

Commits on Mar 12, 2021

  1. added fix of repre extension with warning to integrator

    @iLLiCiTiT
    iLLiCiTiT committed Mar 12, 2021
    Configuration menu
    Copy the full SHA
    054f260 View commit details
    Browse the repository at this point in the history

  2. removed white spaces

    @iLLiCiTiT
    iLLiCiTiT committed Mar 12, 2021
    Configuration menu
    Copy the full SHA
    36e5f91 View commit details
    Browse the repository at this point in the history