diff options
| author | Tomek Mrugalski <tomasz@isc.org> | 2019-07-19 13:47:20 +0200 |
|---|---|---|
| committer | Michal Nowikowski <godfryd@isc.org> | 2019-07-30 10:45:13 +0200 |
| commit | 8796f80033e1defebfeaf5028150afd261447d50 (patch) | |
| tree | db05fcd1af6c2e0b3b5e586b0f983c0d1e5990a7 | |
| parent | [#644,!370] Manual apply of bfa5b2c50324e9d2339daa8309774f49a5e7bf3c to rst (diff) | |
| download | kea-8796f80033e1defebfeaf5028150afd261447d50.tar.xz kea-8796f80033e1defebfeaf5028150afd261447d50.zip | |
[#644,!370] .gitignore added
| -rw-r--r-- | doc/devel/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/devel/.gitignore b/doc/devel/.gitignore new file mode 100644 index 0000000000..724f4d4c54 --- /dev/null +++ b/doc/devel/.gitignore @@ -0,0 +1 @@ +html
\ No newline at end of file |