diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-06-29 02:37:59 +0200 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-06-29 02:37:59 +0200 |
| commit | c5295ede05177da29b67f45187d43658d9bc923f (patch) | |
| tree | 1a2b8f724b3fd1782753803225b1a8c6aec642e1 /.file-metadata | |
| parent | 0f1ec1488bf0bdd70d74f812ffb3ec70dc55b68e (diff) | |
| parent | c9eb2dc70b7babe2a752f04400aa287a97092a61 (diff) | |
Imported recent correction from Pierre Gajda, no conflicts
There was only a conflict with `.file-metadata'.
Diffstat (limited to '.file-metadata')
| -rw-r--r-- | .file-metadata | bin | 6236 -> 6236 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/.file-metadata b/.file-metadata Binary files differindex 5d1afdf..ae36840 100644 --- a/.file-metadata +++ b/.file-metadata |