diff options
| author | rsiddharth <rsiddharth@ninthfloor.org> | 2014-01-02 16:40:03 +0530 |
|---|---|---|
| committer | rsiddharth <rsiddharth@ninthfloor.org> | 2014-01-02 16:40:03 +0530 |
| commit | b6e406da07b5ac327c28deb7f1bfc7e5a7399adb (patch) | |
| tree | 8aa64633dea5da4bd2c077af4b8140beeb30a450 /src/wiki-files/differences-with-debian-head.txt | |
| parent | 5e44da9ab175ba17079c6703f2034ea51e791489 (diff) | |
bugfix: local copy of the wiki page is made only when the remote update is successful.
Diffstat (limited to 'src/wiki-files/differences-with-debian-head.txt')
0 files changed, 0 insertions, 0 deletions