« Previous | Next » 

Revision fc438cf2

IDfc438cf20ea61d852381f798ae652917d924a7df
Parent db822a77
Child 46f614cd

Added by Christos KK Loverdos over 11 years ago

Rename kkconfig to config, since we all agree we use it

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences