« Previous | Next » 

Revision 38219

Added by Joaquín del Cerro Murciano about 12 years ago

Arregla un bug relacionado con la barra de separacion de directorios que hacia que se generarsen mal los ficheros de infice (gvspki) desde windows.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences