diff options
| author | Malte Voos <git@mal.tc> | 2024-02-20 14:00:27 +0100 |
|---|---|---|
| committer | Malte Voos <git@mal.tc> | 2024-02-20 14:00:27 +0100 |
| commit | 4b2a72d01b48b9e5fd4743b98b0c6bf6422cfc0c (patch) | |
| tree | cddb4b01dec26679ecdbb190286ac45fed78161a /lib/dune | |
| parent | 5252fe93e5e7ef77888c06c97de4e350dce90448 (diff) | |
| download | toytt-4b2a72d01b48b9e5fd4743b98b0c6bf6422cfc0c.tar.gz toytt-4b2a72d01b48b9e5fd4743b98b0c6bf6422cfc0c.zip | |
use yuujinchou for identifiers
Diffstat (limited to 'lib/dune')
| -rw-r--r-- | lib/dune | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dune b/lib/dune index 7a54f53..7889c59 100644 --- a/lib/dune +++ b/lib/dune @@ -6,5 +6,5 @@ (library (name toytt) - (libraries asai) + (libraries asai yuujinchou) (preprocess (pps ppx_deriving.std))) |