Skip to content
This repository has been archived by the owner on Oct 3, 2021. It is now read-only.

Remove duplicate files. #464

Merged
merged 3 commits into from
Sep 30, 2017
Merged

Remove duplicate files. #464

merged 3 commits into from
Sep 30, 2017

Commits on Aug 31, 2017

  1. Remove duplicate files. 

    This fixes most of #445 according to the explanation from
#445 (comment)
    @PhilippWendler
    PhilippWendler committed Aug 31, 2017
    Configuration menu
    Copy the full SHA
    e058630 View commit details
    Browse the repository at this point in the history

  2. Remove another duplicate file and ajust some filenames 

    as suggested by
#445 (comment)
    @PhilippWendler
    PhilippWendler committed Aug 31, 2017
    Configuration menu
    Copy the full SHA
    7ecb64a View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2017

  1. Remove one of each of the remaining duplicate file pairs (picked arbi… 

    …trarily)
    @PhilippWendler
    PhilippWendler committed Sep 1, 2017
    Configuration menu
    Copy the full SHA
    e228297 View commit details
    Browse the repository at this point in the history