diff options
| author | Javier Jardón <jjardon@gnome.org> | 2016-02-18 17:27:29 +0000 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2016-02-19 12:30:55 +0000 |
| commit | b29ac16dd937effea255b76cef497fd98a8f417b (patch) | |
| tree | 7cb504804b1bdae511b6406c1f5cc0b0bd8ee01c /systems | |
| parent | c7ba7e3152d0d369227d151ab15266f55ea07ae7 (diff) | |
| download | definitions-b29ac16dd937effea255b76cef497fd98a8f417b.tar.gz | |
Add lua53 stratum with tha latest lua in it (5.3.2)
Change-Id: Ibe0320e97d7bd8c4622fdb1284168f85d40c0419
Diffstat (limited to 'systems')
0 files changed, 0 insertions, 0 deletions