diff options
| author | André Fabian Silva Delgado <emulatorman@parabola.nu> | 2016-08-01 04:34:29 -0300 |
|---|---|---|
| committer | André Fabian Silva Delgado <emulatorman@parabola.nu> | 2016-08-01 23:01:03 -0300 |
| commit | ffd8c4ccd759226f6e953c7c3412b4780e29f749 (patch) | |
| tree | 377f29de2b18107eb3be115f537ab97dcfcb908f /pcr/ocaml-ppx_tools | |
| parent | fc23bf3d59eed8a5640e9d82b4476b7c71ae1b2e (diff) | |
linux-libre-lts-4.4.16_gnu-1: updating version
* disable CONFIG_INTEL_MEI_TXE - Bug #1062 -> https://labs.parabola.nu/issues/1062
Diffstat (limited to 'pcr/ocaml-ppx_tools')
0 files changed, 0 insertions, 0 deletions