summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorJohn Ericson <jericson@galois.com>2016-10-20 14:12:49 -0400
committerJohn Ericson <jericson@galois.com>2016-10-20 14:12:49 -0400
commit57c4f92f2e1b18329b8c055e8f212762be3eb26c (patch)
tree4ae740826fd08f9cf87e0c7f62bc1bb1a7ff60ac /.gitignore
parenta2b20351e0557192f7be9c40fb5ead04e9fa9dfc (diff)
parentcfd63d3b3e15fd440701dbbd25d57effe379b87d (diff)
Merge branch 'master' of github.com:NixOS/nixos-hardware
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions