> Yes, that was the idea. However, I got a little screwed by someone > renaming InsetNomencl.cpp to InsetNomenclature.cpp. ;).. > > Well, it's either me that didn't write the scripts well enough, or Git > has a bit uncomfortabilities (?) with deleted files and/or Windows. > That's why I was messing up when pushing the commits for the > InsetCommandParams patches.
I'll try to undo the mess. Nice way to got to learn this git-business somewhat better. Do you want access to the repository ? Vincent
