* rdfdb.el (rdfdb-remove-triple): Check whether the triple is already
authorueno <ueno>
Tue, 3 Feb 2004 09:57:07 +0000 (09:57 +0000)
committerueno <ueno>
Tue, 3 Feb 2004 09:57:07 +0000 (09:57 +0000)
commit1e9b39c87d007f1937650501f620b763867b54fe
tree39871d6afc9222c345de39f06768aeaf8a6d6f70
parent19eeee2f80aae3e6f401807b00cd9c34ba706787
* rdfdb.el (rdfdb-remove-triple): Check whether the triple is already
indexed in database.
rdfdb.el