Cleanup: Remove duplicate command_type.h include (#9986)

pull/428/head
dP 2 years ago committed by GitHub
parent 9529703cab
commit c839950791
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -10,7 +10,6 @@
#ifndef GOAL_CMD_H
#define GOAL_CMD_H
#include "command_type.h"
#include "command_type.h"
#include "goal_type.h"

Loading…
Cancel
Save