diff options
| -rw-r--r-- | docs/codingstyle.txt (renamed from codingstyle.txt) | 0 | ||||
| -rw-r--r-- | docs/releases.txt (renamed from releases.txt) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/codingstyle.txt b/docs/codingstyle.txt index 5a397aeb..5a397aeb 100644 --- a/codingstyle.txt +++ b/docs/codingstyle.txt diff --git a/releases.txt b/docs/releases.txt index 95bda6b1..95bda6b1 100644 --- a/releases.txt +++ b/docs/releases.txt |