[#644,!370] .gitignore added

author Tomek Mrugalski <tomasz@isc.org>

Fri, 19 Jul 2019 11:47:20 +0000 (13:47 +0200)

committer Michal Nowikowski <godfryd@isc.org>

Tue, 30 Jul 2019 08:45:13 +0000 (10:45 +0200)
author Tomek Mrugalski <tomasz@isc.org>
Fri, 19 Jul 2019 11:47:20 +0000 (13:47 +0200)
committer Michal Nowikowski <godfryd@isc.org>
Tue, 30 Jul 2019 08:45:13 +0000 (10:45 +0200)
diff --git a/doc/devel/.gitignore b/doc/devel/.gitignore

new file mode 100644 (file)

index 0000000..724f4d4
--- /dev/null
+++ b/doc/devel/.gitignore
@@ -0,0 +1 @@
+html
+\ No newline at end of file
author	Tomek Mrugalski <tomasz@isc.org>
	Fri, 19 Jul 2019 11:47:20 +0000 (13:47 +0200)
committer	Michal Nowikowski <godfryd@isc.org>
	Tue, 30 Jul 2019 08:45:13 +0000 (10:45 +0200)