diff options
author | Johnny Willemsen <jwillemsen@remedy.nl> | 2021-05-07 08:37:31 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-07 08:37:31 +0200 |
commit | 0a1799a8301951bce100ed2f4f494185227591f6 (patch) | |
tree | 75052c548a9192329482cd6d0b9e8925d8ef8ed0 | |
parent | aec0c308d44f5e1a828957b5ec67d9d29e93c987 (diff) | |
parent | 9a2044a2bbc4b24eb339f29ee5a432da1917458c (diff) | |
download | ATCD-0a1799a8301951bce100ed2f4f494185227591f6.tar.gz |
Merge pull request #1502 from jwillemsen/jwi-bugprocess
Small documentation bullet fix
-rw-r--r-- | ACE/docs/ACE-bug-process.html | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/ACE/docs/ACE-bug-process.html b/ACE/docs/ACE-bug-process.html index 9034dc40456..1c91023f645 100644 --- a/ACE/docs/ACE-bug-process.html +++ b/ACE/docs/ACE-bug-process.html @@ -89,7 +89,6 @@ HREF="https://github.com/DOCGroup/ACE_TAO">github issues or discussions</A>. post something and don't get a reply, please do the following:<P> <UL> -<LI> <LI> When you haven't received a reply this probably means that either no one knows the answer or no one has time to answer it. As always, if you need more predictable help please contact one of |