Name                    Last modified       Size  Description

 Parent Directory        03-Dec-2019 06:19      -  
 texlog_extract          08-Sep-2015 06:19    12k  
 texlog_extract.pdf      08-Sep-2015 06:19    42k  

|
-------:|:--------------------------------------
 script:| texlog_extract - extract errors and warnings from TeX logs
   type:| ruby
 author:| Wybo Dekker
  email:| wybo@dekkerdocumenten.nl
version:| 3.04
license:| Released under the GNU General Public License

<??>