diff options
author | Karl Berry <karl@freefriends.org> | 2023-01-29 21:23:09 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2023-01-29 21:23:09 +0000 |
commit | 0d39815152532111e22cc57db55c73fda1939fa9 (patch) | |
tree | 11768c5776093912cdc5dd2483b1db7bfa7cb0f3 /Master/tlpkg/tlpsrc/naive-ebnf.tlpsrc | |
parent | efd04c4c2b49f26b1240861e3ce3d274d8014183 (diff) |
naive-ebnf (29jan23)
git-svn-id: svn://tug.org/texlive/trunk@65674 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/naive-ebnf.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/naive-ebnf.tlpsrc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/naive-ebnf.tlpsrc b/Master/tlpkg/tlpsrc/naive-ebnf.tlpsrc new file mode 100644 index 00000000000..26d42cb62d0 --- /dev/null +++ b/Master/tlpkg/tlpsrc/naive-ebnf.tlpsrc @@ -0,0 +1,4 @@ +hard pgfopts +hard filecontentsdef +hard l3kernel +# orig: expl3 |