]> rtime.felk.cvut.cz Git - frescor/frsh-forb.git/commitdiff
projects / frescor / frsh-forb.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 99d401e)
Make git ignore generated documentation
authorMichal Sojka <sojka@os.inf.tu-dresden.de>
Tue, 7 Feb 2012 23:54:13 +0000 (00:54 +0100)
committerMichal Sojka <sojka@os.inf.tu-dresden.de>
Tue, 7 Feb 2012 23:54:13 +0000 (00:54 +0100)
src/forb/doc/.gitignore [new file with mode: 0644] patch | blob

diff --git a/src/forb/doc/.gitignore b/src/forb/doc/.gitignore
new file mode 100644 (file)
index 0000000..5ccff1a
--- /dev/null
+++ b/src/forb/doc/.gitignore
@@ -0,0 +1 @@
+html/
FRSH/FORB resource reservation framework