diff options
| author | David Runge | 2019-06-04 14:09:17 +0200 |
|---|---|---|
| committer | David Runge | 2019-06-04 14:09:17 +0200 |
| commit | 814300558080da455d3278d3481e1fd394e7ebe2 (patch) | |
| tree | 0ef7461d895293ca993771be58127f63f612ac51 /linux-rt.install | |
| parent | b60cf12c6b59531e7ad77a550be9720409cc1119 (diff) | |
| download | aur-814300558080da455d3278d3481e1fd394e7ebe2.tar.gz | |
PKGBUILD: Upgrading to 5.0.19_rt11. Minor style fixes.
Diffstat (limited to 'linux-rt.install')
0 files changed, 0 insertions, 0 deletions