diff options
| -rw-r--r-- | doc/bibliography.md (renamed from BIBLIOGRAPHY) | 0 | ||||
| -rw-r--r-- | doc/releasing.md (renamed from RELEASING) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/BIBLIOGRAPHY b/doc/bibliography.md index 90a6cef20..90a6cef20 100644 --- a/BIBLIOGRAPHY +++ b/doc/bibliography.md diff --git a/RELEASING b/doc/releasing.md index 04c78e20a..04c78e20a 100644 --- a/RELEASING +++ b/doc/releasing.md |