GitHub-Mirror/unitswitcher
1
0
Fork 0
mirror of synced 2024-11-14 16:33:54 +00:00
Code Issues Projects Releases Wiki Activity
5 Commits 1 Branch 0 Tags 726 KiB
Boogie 80.9%
Pascal 19.1%
8c671457d7
Go to file
Mark van Renswoude 8c671457d7 Fixed: filters out non-project units from the Project Source
2006-01-05 21:22:02 +00:00
Packages/D2006 Added: filter options in Units dialog 2006-01-05 21:04:59 +00:00
Resources Fixed: filters out non-project units from the Project Source 2006-01-05 21:22:02 +00:00
Source Fixed: filters out non-project units from the Project Source 2006-01-05 21:22:02 +00:00