Login
About
Blog
Download
Documentation
Projects
Publications
Development
Fawkes Git
/
fawkes.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
(parent:
7a2458b
)
plugins: add missing dependency of stn-generator on pddl-planner
author
Till Hofmann
<hofmann@kbsg.rwth-aachen.de>
Mon, 16 Apr 2018 12:23:54 +0000 (14:23 +0200)
committer
Till Hofmann
<hofmann@kbsg.rwth-aachen.de>
Mon, 16 Apr 2018 12:23:54 +0000 (14:23 +0200)
src/plugins/Makefile
patch
|
blob
|
history
diff --git
a/src/plugins/Makefile
b/src/plugins/Makefile
index
ec3b722
..
6dc2d11
100644
(file)
--- a/
src/plugins/Makefile
+++ b/
src/plugins/Makefile
@@
-55,4
+55,5
@@
perception: mongodb
navgraph-generator: navgraph amcl
openprs-agent: openprs
laser-filter: amcl
+stn-generator: pddl-planner