This repository has been archived by the owner. It is now read-only.
Switch branches/tags
Nothing to show
Commits on Oct 13, 2018
  1. php: merge folders (Php, PHP) into one (PHP)

    Zarthus committed Oct 13, 2018
    Some OSes (or rather: filesystems), especially Windows,
    struggle with case sensitivity in directories,
    This merges the php-related folders into one and at the same time fixes
    the problem of a duplicate folder.