chiark / gitweb /
**/.gitignore: Push patterns downwards, and format.
authorMark Wooding <mdw@distorted.org.uk>
Fri, 9 Nov 2018 17:28:47 +0000 (17:28 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 24 Nov 2018 21:53:38 +0000 (21:53 +0000)
commit866fb27f61c9de2b09d8febad41286fc3f953a4e
treea54ec832beb2a1283e54e70256e6893c90f5f68c
parent8e91d6e5b9c82efb626869d6618b240d2ae8ad05
**/.gitignore: Push patterns downwards, and format.

The top-level `.gitignore' was getting too unwieldy, and subsidiary
`.gitignore' files existed but weren't used much.

Push patterns for specific files down into the appropriate directories.
Also, gather and sort the patterns in a vaguely logical way.
.gitignore
progs/.gitignore [new file with mode: 0644]
symm/.gitignore