Missing `.pbxproj` file?

markokoleznik / agda-writer

A simple GUI for Agda

Other

31 stars 2 forks source link

Closed andrejbauer closed 9 years ago

andrejbauer commented 9 years ago

When I try to open AgdaWriter.xcodeproj Xcode says:

Project /Users/andrej/Documents/agda-writer/AgdaWriter.xcodeproj
cannot be opened because it is missing its project.pbxproj file.

Now what?

markokoleznik commented 9 years ago

My bad :) Added too much files to .gitignore

Does it work now?

andrejbauer commented 9 years ago

Closed by 7c2ae7dbeea4f56185044eec543e35491f0222ba.