« Previous | Next » 

Revision dc458d00

IDdc458d002aa06345d80bac0853ec3c60b74a0ffd
Parent 1b8acf70
Child c979d253

Added by Iustin Pop over 13 years ago

One more gitignore rule

This was forgotten in the recent “switch to explicit ignore rules”.

Reviewed-by: imsnah

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences