diff options
| author | Irina Gómez <irinagomez@us.es> | 2019-08-02 09:42:13 +0200 |
|---|---|---|
| committer | Irina Gómez <irinagomez@us.es> | 2019-08-02 09:42:13 +0200 |
| commit | 3e408cdd00e83df1051bc1e865bb700c3d002c5d (patch) | |
| tree | 99144fa9ce831b69bf651f861edab94922969804 /installer | |
| parent | 9d78c3a02823b914d9869a70c7356d90619b8ef2 (diff) | |
| parent | aa2d6007b96fdd7972f203f230fca942124791d4 (diff) | |
Merge branch 'ubuntu18-compatibility' into devel
Diffstat (limited to 'installer')
0 files changed, 0 insertions, 0 deletions