Commit [2e8076] Maximize Restore History

git: Add entries for the HTML manual to doc/internals/.gitignore.

These are the files and directories generated by "make html" in
doc/internals.

Lutz Euler Lutz Euler 2013-06-10

changed doc/internals/.gitignore
doc/internals/.gitignore Diff Switch to side-by-side view
Loading...