diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2012-04-08 23:06:55 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2012-04-08 23:06:55 +0200 |
| commit | 904425eb54c61098281478d429d99dd44158c573 (patch) | |
| tree | 928b233e0420933f86d1a79ef9850625f8849cb2 /doc | |
| parent | 7e15f3d69a83a34ac62cbbee944a0bfbfa92724e (diff) | |
.gitignore: New file.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore new file mode 100644 index 00000000..aee7bb93 --- /dev/null +++ b/doc/.gitignore @@ -0,0 +1,2 @@ +/*.info +/*.info-* |