summaryrefslogtreecommitdiff
path: root/tlpkg
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2017-05-01 19:37:46 +0900
committerNorbert Preining <norbert@preining.info>2017-05-01 19:37:46 +0900
commit6ed730c6f6c06921e124802fad4e426ad9e59997 (patch)
tree800acbc31fc37138413c5314266f485359d12dc7 /tlpkg
parentbf4978cb42256324ea443acbfd9c2684e466652c (diff)
add webomints
Diffstat (limited to 'tlpkg')
-rw-r--r--tlpkg/tlpsrc/webomints.tlpsrc1
1 files changed, 1 insertions, 0 deletions
diff --git a/tlpkg/tlpsrc/webomints.tlpsrc b/tlpkg/tlpsrc/webomints.tlpsrc
new file mode 100644
index 00000000..4a84876e
--- /dev/null
+++ b/tlpkg/tlpsrc/webomints.tlpsrc
@@ -0,0 +1 @@
+execute addMap webo.map