Name                    Last modified       Size  Description

 Parent Directory        22-Oct-2020 20:47      -  
 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

<??>