Skip to content
GitLab
Explore
Sign in
Projects
PPSi
Repository
ppsi
Makefile
Find file
Blame
History
Permalink
Makefile: fix a filename in a comment
· 6732723d
Alessandro Rubini
authored
Jan 06, 2012
and
Aurelio Colosimo
committed
Jan 09, 2012
Signed-off-by:
Alessandro Rubini
<
rubini@gnudd.com
>
6732723d