diff options
| author | Hans Hagen <pragma@wxs.nl> | 2022-09-16 15:53:42 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2022-09-16 15:53:42 +0200 |
| commit | c161b7d6fe142231346cc1844e6e27c0ab7718c1 (patch) | |
| tree | 3fd877b8986137703e987e4651a2db8e946a0f72 /source/luametatex/source/libraries/pplib/ppfilter.h | |
| parent | e94fa4dc30ec28a6727aa85e17aaac18b76aeadb (diff) | |
| download | context-c161b7d6fe142231346cc1844e6e27c0ab7718c1.tar.gz | |
2022-09-16 14:41:00
Diffstat (limited to 'source/luametatex/source/libraries/pplib/ppfilter.h')
| -rw-r--r-- | source/luametatex/source/libraries/pplib/ppfilter.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/source/luametatex/source/libraries/pplib/ppfilter.h b/source/luametatex/source/libraries/pplib/ppfilter.h new file mode 100644 index 000000000..583aa8cf4 --- /dev/null +++ b/source/luametatex/source/libraries/pplib/ppfilter.h @@ -0,0 +1,10 @@ + +#ifndef PP_FILTER_H +#define PP_FILTER_H + +#include "utilbasexx.h" +#include "utilflate.h" +#include "utillzw.h" +#include "utilfpred.h" + +#endif
\ No newline at end of file |