diff options
author | Ivan Alejandro <ivanalejandro0@gmail.com> | 2013-09-20 17:11:55 -0300 |
---|---|---|
committer | Ivan Alejandro <ivanalejandro0@gmail.com> | 2013-09-20 17:13:04 -0300 |
commit | c8a035c46b0b64772cf630d6c52d738f59ed6e73 (patch) | |
tree | 7d9383dfdb377cddd9fd2dd960221b18a3e6354c /changes/feature_3417_update-repo-in-docs | |
parent | 99ad43fb8b5676231527398e9809c8c01230ee5a (diff) |
Fold in changes.
Diffstat (limited to 'changes/feature_3417_update-repo-in-docs')
-rw-r--r-- | changes/feature_3417_update-repo-in-docs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/changes/feature_3417_update-repo-in-docs b/changes/feature_3417_update-repo-in-docs deleted file mode 100644 index 065b9497..00000000 --- a/changes/feature_3417_update-repo-in-docs +++ /dev/null @@ -1 +0,0 @@ - o Update git repo name in docs. Closes: #3417 |