annotate info/.gitignore @ 111190:6174c15098f6

Mention server-port.
author Glenn Morris <rgm@gnu.org>
date Tue, 26 Oct 2010 00:42:46 -0700
parents 214450de83bc
children ef719132ddfa
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
101969
214450de83bc Add info/.gitignore
Miles Bader <miles@gnu.org>
parents:
diff changeset
1 *
214450de83bc Add info/.gitignore
Miles Bader <miles@gnu.org>
parents:
diff changeset
2
214450de83bc Add info/.gitignore
Miles Bader <miles@gnu.org>
parents:
diff changeset
3 # arch-tag: 4cf702c2-f50e-49bd-a3ff-4fd962c5975a