diff options
| author | Charles.Forsyth <devnull@localhost> | 2007-01-22 21:10:09 +0000 |
|---|---|---|
| committer | Charles.Forsyth <devnull@localhost> | 2007-01-22 21:10:09 +0000 |
| commit | ed8b7fd462e0202888a27ee1972409c52dec7d01 (patch) | |
| tree | 6922bf25e15874993fd4c7bede2a76130a10058b /lib | |
| parent | ee1a8f4a2601560b3563fa4bd92075ac2883fb06 (diff) | |
add missing port.ms and port.pdf, both updated
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/proto/src | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/proto/src b/lib/proto/src index 850d6b42..b741ce66 100644 --- a/lib/proto/src +++ b/lib/proto/src @@ -68,6 +68,8 @@ doc perform perform.ms perform.pdf + port.ms + port.pdf realinferno real.ms real.pdf |