Mon, 06 Jul 2020 12:35:23 -0500
Destination name creation changes
3 | 1 | |
9
751216807683
Further lua5.3 compatibility fixes
Tuomo Valkonen <tuomov@iki.fi>
parents:
3
diff
changeset
|
2 | --@module plugin.breadcrumb |
3 | 3 | |
9
751216807683
Further lua5.3 compatibility fixes
Tuomo Valkonen <tuomov@iki.fi>
parents:
3
diff
changeset
|
4 | local plugin_breadcrumb={} |
3 | 5 | |
9
751216807683
Further lua5.3 compatibility fixes
Tuomo Valkonen <tuomov@iki.fi>
parents:
3
diff
changeset
|
6 | local path=require("path") |
751216807683
Further lua5.3 compatibility fixes
Tuomo Valkonen <tuomov@iki.fi>
parents:
3
diff
changeset
|
7 | |
751216807683
Further lua5.3 compatibility fixes
Tuomo Valkonen <tuomov@iki.fi>
parents:
3
diff
changeset
|
8 | function plugin_breadcrumb.trail(env) |
3 | 9 | return "(TODO)" |
10 | end | |
9
751216807683
Further lua5.3 compatibility fixes
Tuomo Valkonen <tuomov@iki.fi>
parents:
3
diff
changeset
|
11 | |
751216807683
Further lua5.3 compatibility fixes
Tuomo Valkonen <tuomov@iki.fi>
parents:
3
diff
changeset
|
12 | return plugin_breadcrumb |