Juergen Gross, on Mon 29 Aug 2016 15:07:39 +0200, wrote:
> On 29/08/16 15:01, Wei Liu wrote:
> > Use GNU Global to generate source code index.
> >
> > Signed-off-by: Wei Liu
>
> Reviewed-by: Juergen Gross
Acked-by: Samuel Thibault
On 29/08/16 15:01, Wei Liu wrote:
> Use GNU Global to generate source code index.
>
> Signed-off-by: Wei Liu
Reviewed-by: Juergen Gross
Juergen
___
Xen-devel mailing list
Xen-devel@lists.xen.org
Use GNU Global to generate source code index.
Signed-off-by: Wei Liu
---
Makefile | 4
1 file changed, 4 insertions(+)
diff --git a/Makefile b/Makefile
index a8ae67c..43dcbd6 100644
--- a/Makefile
+++ b/Makefile
@@ -190,3 +190,7 @@ tags:
.PHONY: TAGS
TAGS: