diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-09-26 19:05:45 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-09-26 19:05:45 -0500 |
commit | 1896e9b9e11cdb70094d79ba369ca3f3b3d0d969 (patch) | |
tree | 8cbf3ae552c660372299356e0546262da1fe0be5 /.gitignore | |
parent | 59d8594bfd89cdf37a4cae7fa893da4a6bc980e4 (diff) |
Minor fix to db-sync-arm
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions