chiark / gitweb /
provide externs for command_<foo>
authorian <ian>
Mon, 19 Dec 2005 11:48:56 +0000 (11:48 +0000)
committerian <ian>
Mon, 19 Dec 2005 11:48:56 +0000 (11:48 +0000)
detpic/points.fin
detpic/reverse.fin

index 6786e59de6f6a062f2036b5b384bdfae0fa2ecba..ee26d7596283d131b800c8a0843ca0fba5a5b629 100644 (file)
@@ -1,3 +1,4 @@
+ extern command_point
  extern point_local_do
  extern points_local_init
  extern points_local_intrl
index f6ea2d1fb4ee90c17e11a7ffeb18041e0cf94f38..1b7d8ed6749ea84737040b3715c1dc4353af2570 100644 (file)
@@ -1,2 +1,3 @@
+ extern command_polarity
  extern polarity_local_do
  extern polarity_local_init