fixed IdeaResources.java
Merge branch 'frontend' of github.com:utwente-di/di18 into frontend
Commit
Merge branch 'frontend' of github.com:utwente-di/di18 into frontend
getNrOfIdeas fix
getNrOfIdeas fix2
getNrOfIdeas fix3
getNrOfIdeas fix3
getNrOfIdeas fix4
Walker
getNrOfIdeas fix5
getNrOfIdeas fix5
lege pager
Haas moet beter opletten
Comments
Merge branch 'Tests' of github.com:utwente-di/di18 into database
Merge branch 'Tests' of github.com:utwente-di/di18 into database
minor fixes
support for name-sort