Home
last modified time | relevance | path

Searched hist:dc3c83b0ed617a99b3287269d39acaca08b52239 (Results 1 – 1 of 1) sorted by relevance

/petsc/
H A D.gitignoredc3c83b0ed617a99b3287269d39acaca08b52239 Mon Oct 07 08:29:54 UTC 2019 Patrick Sanan <patrick.sanan@gmail.com> .gitignore: ignore entire /docs/ subtree

Note the leading slash which will only match the root-level docs/
directory.