• Thomas Haller's avatar
    gitignore: merge gitignore files · 1da7dfc4
    Thomas Haller authored
    For the most part, we only have one main .gitignore file.
    There were a few nested files, merge them into the main file.
    I find it better to have only one gitignore file, otherwise the
    list of ignored files is spread out through the working directory.