Skip to content
GitLab
Explore
Sign in
Projects
Mock Turtle
Repository
mock-turtle
Makefile
Find file
Blame
History
Permalink
Makefile: remove 'doc' rules
· 5d8074b5
Federico Vaga
authored
Nov 14, 2014
Signed-off-by:
Federico Vaga
<
federico.vaga@cern.ch
>
5d8074b5