Index: uspace/srv/devman/util.h
===================================================================
--- uspace/srv/devman/util.h	(revision a501e22cfdc3a2c5c6f792bc5d5dcb4b3fdf012f)
+++ uspace/srv/devman/util.h	(revision 61b208f646f3876ff110768890465a8c7d194886)
@@ -42,4 +42,5 @@
 
 extern bool skip_spaces(char **);
+extern void skip_line(char **);
 extern size_t get_nonspace_len(const char *);
 extern void replace_char(char *, char, char);