diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/rgdb_specs/seqinit.txt | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/doc/rgdb_specs/seqinit.txt b/doc/rgdb_specs/seqinit.txt deleted file mode 100644 index 86c5be2d45..0000000000 --- a/doc/rgdb_specs/seqinit.txt +++ /dev/null @@ -1,2 +0,0 @@ -Figure: Debug session initialization. - (Not available in ASCII version of this document.) |