diff options
| author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-01-18 19:19:47 +0200 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-01-18 19:19:47 +0200 |
| commit | 1ac1db7f0b508e6219dce4aa2fbd2c5515472506 (patch) | |
| tree | 6b076cea341655240fa2d048ad76e35a30786b14 /res/about/help.gmi | |
| parent | 7e393a4fda482d01252bd1a6e84ca8149bcc278e (diff) | |
Renamed ".binary" files
Use the .lgr extension for Lagrange binary files.
Diffstat (limited to 'res/about/help.gmi')
| -rw-r--r-- | res/about/help.gmi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/res/about/help.gmi b/res/about/help.gmi index 86fec802..7260aeb5 100644 --- a/res/about/help.gmi +++ b/res/about/help.gmi | |||
| @@ -344,10 +344,10 @@ Other Unix : ~/.config/lagrange/ | |||
| 344 | * bindings.txt | 344 | * bindings.txt |
| 345 | * bookmarks.txt | 345 | * bookmarks.txt |
| 346 | * feeds.txt | 346 | * feeds.txt |
| 347 | * idents.binary and idents/ | 347 | * idents.lgr and idents/ |
| 348 | * mimehooks.txt | 348 | * mimehooks.txt |
| 349 | * prefs.cfg | 349 | * prefs.cfg |
| 350 | * state.binary | 350 | * state.lgr |
| 351 | * trusted.txt | 351 | * trusted.txt |
| 352 | * visited.txt | 352 | * visited.txt |
| 353 | 353 | ||