diff options
| -rw-r--r-- | doc/oops.txt (renamed from doc/hmm.txt) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/hmm.txt b/doc/oops.txt index c3b42b0..c3b42b0 100644 --- a/doc/hmm.txt +++ b/doc/oops.txt |
| index : s1n.pw-admin | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiff |
| -rw-r--r-- | doc/oops.txt (renamed from doc/hmm.txt) | 0 |
diff --git a/doc/hmm.txt b/doc/oops.txt index c3b42b0..c3b42b0 100644 --- a/doc/hmm.txt +++ b/doc/oops.txt |