Browse Source

Add a .gitignore file for the doc directory.

dejagnu-1.5
Ben Elliston 18 years ago
parent
commit
582250f947
  1. 1
      doc/.gitignore

1
doc/.gitignore

@ -0,0 +1 @@
dejagnu.info
Loading…
Cancel
Save