diff options
| author | Tom Lane | 2010-09-24 17:48:34 +0000 |
|---|---|---|
| committer | Tom Lane | 2010-09-24 17:48:34 +0000 |
| commit | 9825ad9f4fd2da51e6decbf62c55023cec09fa43 (patch) | |
| tree | e554e1f3bd02b329b58f7c46d4210f738a657d27 /doc/FAQ_DEV | |
| parent | 1c5e3be07c5429c8a5e6351e92d922fb5114e69f (diff) | |
Still more .gitignore cleanup.
Fix overly-enthusiastic ignores, as identified by
git ls-files -i --exclude-standard
Diffstat (limited to 'doc/FAQ_DEV')
0 files changed, 0 insertions, 0 deletions