mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2024-12-19 04:47:52 +00:00
1906cf93f8
You might just say: 'Yeah! crosstool-NG's got its own repo!". Unfortunately, that's because the previous repo got damaged beyond repair and I had no backup. That means I'm putting backups in place in the afternoon. That also means we've lost history... :-(
4 lines
103 B
INI
4 lines
103 B
INI
#Sat Feb 17 16:17:18 CET 2007
|
|
eclipse.preferences.version=1
|
|
indexerId=org.eclipse.cdt.core.fastIndexer
|