Revision a80bf544
ID | a80bf544154b056030ce80d23700763f52c08845 |
Parent | e10be8f2 |
Child | 9dcec001 |
Add an utility function for triples
Files
- added
- modified
- copied
- renamed
- deleted
ID | a80bf544154b056030ce80d23700763f52c08845 |
Parent | e10be8f2 |
Child | 9dcec001 |
Added by Iustin Pop almost 15 years ago
Add an utility function for triples