diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2018-10-14 10:50:40 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2018-10-14 10:50:40 +0200 |
| commit | ad924d37f70d1a65e96a96b3445cafbd6c1148bf (patch) | |
| tree | 53c0a04928a037c9c3bc549ed6e2a798edd69f14 | |
| parent | ee451a0a5c406191ec2fbc18d3f44f55bc69e706 (diff) | |
| download | ekdosis-ad924d37f70d1a65e96a96b3445cafbd6c1148bf.tar.gz | |
tidy up
| -rw-r--r-- | ekdosis.dtx | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index c795721..0942b7b 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
| @@ -350,7 +350,7 @@ function testapparatus() | |||
| 350 | return "\\booltrue{isapp}" else return "\\boolfalse{isapp}" end | 350 | return "\\booltrue{isapp}" else return "\\boolfalse{isapp}" end |
| 351 | else return "\\boolfalse{isapp}" end | 351 | else return "\\boolfalse{isapp}" end |
| 352 | file:close() | 352 | file:close() |
| 353 | end | 353 | end |
| 354 | 354 | ||
| 355 | md5items = {} | 355 | md5items = {} |
| 356 | local salt = 0 | 356 | local salt = 0 |
| @@ -380,4 +380,4 @@ end | |||
| 380 | % \iffalse | 380 | % \iffalse |
| 381 | %</lua> | 381 | %</lua> |
| 382 | % \fi | 382 | % \fi |
| 383 | \endinput \ No newline at end of file | 383 | \endinput |