diff options
author | Miklos Szeredi <mszeredi@suse.cz> | 2013-02-05 13:20:25 +0100 |
---|---|---|
committer | Miklos Szeredi <mszeredi@suse.cz> | 2013-02-05 13:20:25 +0100 |
commit | 95e1a99472b11560d98046fc2427788be0c14412 (patch) | |
tree | bf1416209290719f2bbf38858a3d93ee8bb25851 /doc | |
parent | d8118645566010155f62b5203db4172a9a567000 (diff) |
Create doc/.gitignore
Diffstat (limited to 'doc')
-rw-r--r-- | doc/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore new file mode 100644 index 0000000..1936cc1 --- /dev/null +++ b/doc/.gitignore @@ -0,0 +1 @@ +html |