Add documentation for oid_name_to_oid(), oid_to_dotstring() and oid_name_to_dotstring()
authorMike Taylor <mike@indexdata.com>
Fri, 11 Jul 2003 09:51:13 +0000 (09:51 +0000)
committerMike Taylor <mike@indexdata.com>
Fri, 11 Jul 2003 09:51:13 +0000 (09:51 +0000)
commite1efa4cdf426e7eb952584ed4b9d3b818c8ff070
treeed4873de8a5e96fa1273818b0cedb91a225c66e2
parentbfad6661c8f3102304f1d79ed0ba2ff9aee2031b
Add documentation for oid_name_to_oid(), oid_to_dotstring() and oid_name_to_dotstring()
doc/tools.xml