diff options
author | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | 2019-03-11 11:04:25 -0300 |
---|---|---|
committer | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | 2019-03-11 11:04:25 -0300 |
commit | d9f83dded93a35fb333c4e1bd371c401f7129fd1 (patch) | |
tree | 54c830c8e67f2f0ac261799828b3e8c54d32020c /lpeg-128.gif | |
parent | d97fe6ed31d4b274c88c996b0c06da597a455149 (diff) | |
download | lpeg-d9f83dded93a35fb333c4e1bd371c401f7129fd1.tar.gz lpeg-d9f83dded93a35fb333c4e1bd371c401f7129fd1.tar.bz2 lpeg-d9f83dded93a35fb333c4e1bd371c401f7129fd1.zip |
Some details before release 1.0.2v1.0.2
- changed release number
- small corrections in 'pack'
- removed "about" section in .html files
- added files 'HISTORY' and 'lpeg-128.gif'
Diffstat (limited to 'lpeg-128.gif')
-rw-r--r-- | lpeg-128.gif | bin | 0 -> 4923 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/lpeg-128.gif b/lpeg-128.gif new file mode 100644 index 0000000..bbf5e78 --- /dev/null +++ b/lpeg-128.gif | |||
Binary files differ | |||