hurricos/openwrt-mirror
1
0
Fork 0
mirror of git://git.openwrt.org/openwrt/openwrt.git synced 2025-10-26 03:24:26 -04:00
Code Issues Projects Releases Wiki Activity
48,863 Commits 10 Branches 85 Tags 260 MiB
481d0281d8
Commit Graph

2 Commits

Author SHA1 Message Date
Daniel Golle
76368a5c0a refpolicy: skip building docs 
Building docs requires xmllint and other bulky things being present on
the host. Skip that.

Signed-off-by: Daniel Golle <daniel@makrotopia.org>
 2020-09-01 14:35:00 +01:00
Thomas Petazzoni
e5e54e52f7 refpolicy: new package 
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
[update to 2.20200229, adjust Makefile, and move to openwrt.git]
Signed-off-by: W. Michael Petullo <mike@flyn.org>
 2020-08-31 01:15:41 +01:00