Home
last modified time | relevance | path

Searched refs:uuidfile (Results 1 – 1 of 1) sorted by relevance

/plugin/netlogo/inc/
H A Dservefile.php22 $uuidfile = DOKU_INC.'data/tmp/plugin_netlogo_uuid'; variable
23 $uuid = file_get_contents($uuidfile);