diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-09-28 09:55:26 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-09-28 09:55:26 -0500 |
| commit | b38f808a7cd46902ff4254a1a4c795abbfdf3dfb (patch) | |
| tree | 94bf0f7688f50405b8a4b41c6954a5717e9ed544 /db-repo-remove | |
| parent | c1c48223db40547b6d62f699494922c8aee78941 (diff) | |
Minor fix to db-sync-arm
Diffstat (limited to 'db-repo-remove')
0 files changed, 0 insertions, 0 deletions