diff options
| author | Ondřej Hruška <ondra@ondrovo.com> | 2017-08-04 22:38:58 +0200 |
|---|---|---|
| committer | Ondřej Hruška <ondra@ondrovo.com> | 2017-08-04 22:38:58 +0200 |
| commit | 7b42d14f456d036e768015c2e12aa93c1bf9226d (patch) | |
| tree | 987568008eaed86715147d3366e0a9e6023d9cc2 /Aptfile | |
| parent | f34f33c19e14d03dfcdaa0d6c66460d3c248309f (diff) | |
fix bug with data attrib for boost in home TL
Diffstat (limited to 'Aptfile')
0 files changed, 0 insertions, 0 deletions